From 22729bc5ef6f22f07a2591f4244d8797c6233931 Mon Sep 17 00:00:00 2001
From: jd41 <65656628+jd41@users.noreply.github.com>
Date: Fri, 29 May 2020 09:04:21 +0200
Subject: [PATCH] configure script wasn't included

---
 INSTALL | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/INSTALL b/INSTALL
index 5458714..5fac680 100644
--- a/INSTALL
+++ b/INSTALL
@@ -10,8 +10,8 @@ unlimited permission to copy, distribute and modify it.
 Basic Installation
 ==================
 
-Briefly, the shell commands `./configure; make; make install' should
-configure, build, and install this package.  The following
+Briefly, the shell commands `./autogen.sh; ./configure; make; make install'
+should configure, build, and install this package.  The following
 more-detailed instructions are generic; see the `README' file for
 instructions specific to this package.