corrects a mistake in the compilation instructions

ybertot · Feb 28, 2018 · 8b1a358 · 8b1a358
1 parent d76ddde
commit 8b1a358
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -44,6 +44,7 @@ You can:
 First download the archive, unpack it, and change directory to the `coq-dpdgraph` directory.
 
 Depending on how you got hold of the archive, you may be in one of three situations:
+
  1/ Makefile is present
 
    You should type the following command.
@@ -54,14 +55,14 @@ Depending on how you got hold of the archive, you may be in one of three situati
 
    You should type the following command.
 
-    $ ./configure && make && install
+    $ ./configure && make && make install
 
  3/ configure is not present, Makefile is not present
 
    You should type the following command.
 
     $ autoconf
-    $ configure && make && install
+    $ configure && make && make install
 
 #### install using opam