Commit d43ed2e7 authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

Correct source code block

parent dc36a1f1
......@@ -67,18 +67,18 @@ knowledge of the CeCILL-B license and that you accept its terms.
using the command
#+BEGIN_SRC sh
make test.dko
#+END_SRC.
#+END_SRC
If you have Coq installed, you can check this example with Coq
using the command
#+BEGIN_SRC sh
make test.vo
#+END_SRC.
#+END_SRC
You can do both with the command
#+BEGIN_SRC sh
make test
#+END_SRC.
#+END_SRC
* Author
Sigmaid is written by [[https://who.rocq.inria.fr/Raphael.Cauderlier/][Raphaël Cauderlier]].
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment