From 1c9b94a22036cec4e3d0430ca2991eefc8198350 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 6 Jan 2018 10:40:15 -0500 Subject: README: explain need to run autogen.sh (closes #93) --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 911d13f0..5863d242 100644 --- a/README.md +++ b/README.md @@ -32,7 +32,7 @@ wget http://localhost:8080/Hello/main -O - # Simple Installation -The normal UNIX-style build and installation procedure works (where the `make` program needs to be GNU Make). +The normal UNIX-style build and installation procedure works (where the `make` program needs to be GNU Make, and where `./autogen.sh` must be run first only if starting from a Git checkout rather than a release tarball). ```sh ./configure -- cgit v1.2.3