chore: Fix README.md on how to build coq-prelude

ANSSI-FR · Jul 31, 2019 · 0c75443 · 0c75443
1 parent e1f86d3
commit 0c75443
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -3,6 +3,9 @@
 build:
 	dune build
 
+install: build
+	dune install
+
 html: build
 	./configure.sh
 	make -f Makefile.coq html
diff --git a/README.md b/README.md
@@ -12,11 +12,11 @@ online.](https://anssi-fr.github.io/coq-prelude/toc.html)
 This project uses `dune` as its build system.
 
 ```bash
-dune install
+dune build
 ```
 
 For convenience purpose, a `Makefile` is provided, with the default rule being a
-call to `dune install`. Hence, one can just type:
+call to `dune build`. Hence, one can just type:
 
 ```bash
 make