1 files changed, 7 insertions, 2 deletions

diff --git a/README.md b/README.md
index 60b3e9a..d36aef5 100644
--- a/README.md
+++ b/README.md
@@ -20,13 +20,18 @@ Requirements:
 
 - [rocq](https://rocq-prover.org/)
 
-The project is built with the GNU build system, but skips the
-configure step. Building is a one-liner.
+The project is built with the GNU build system.
 
 ```
+$ autoconf
+$ ./configure
 $ make
 ```
 
+## Installation
+
+See `INSTALL` for instructions.
+
 ## Citations
 
 1. Forster, Smolka 2017,