Index: INSTALL
===================================================================
--- INSTALL	(revision 01916bcd1b434bc0b0f0e4f748f0aedeec8d790c)
+++ INSTALL	(revision b4050391f0975c8d92fad100a7d2fffe2a7b2b72)
@@ -6,5 +6,13 @@
 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
 	make