Index: INSTALL
===================================================================
--- INSTALL	(revision 829405b168f556b91630beebfdf12cf9cdaed33c)
+++ INSTALL	(revision 788614c84eb12f5775880dfb6072f90b3d9681a4)
@@ -5,4 +5,13 @@
 g++ version >= 4.6, bison and flex.  On systems where GNU Make is the default
 make, the system is built by entering the commands:
+
+For devs using the root git:
+
+  ./autogen.sh
+	./configure
+	make
+	make install
+
+For users using the distributed tarball:
 
 	./configure
