Update INSTALL.md

hacl-star · Feb 18, 2017 · 91247c1 · 91247c1
1 parent 4f4e839
commit 91247c1
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/INSTALL.md b/INSTALL.md
@@ -17,12 +17,16 @@ The only prerequisite to install F* and KreMLin is OCaml.
 Please install the OCaml compiler and the OPAM package manager.
 
 Then, from the Hacl* root repository:
-```make prepare```
+```
+make prepare
+```
 
 This will install required OPAM packages and build F* and Kremlin.
 
 To generate the library, run:
-```make```
+```
+make
+```
 
 ### Verifying / extracting the code