diff --git a/Makefile b/Makefile
index b3428a1..31fe675 100644
--- 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
index 9891600..8bc6dfb 100644
--- 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