Index: INSTALL
===================================================================
--- INSTALL	(revision d6cd371f3cb09d2e81a0ba82aeced1d947cc8c5d)
+++ INSTALL	(revision 22a42924b1cd516e65886e37b0e07f2017d18900)
@@ -6,15 +6,16 @@
 make, the system is built by entering the commands:
 
-For devs using the root git:
+For devs using the maintainer's git:
 
-  ./autogen.sh
+	./autogen.sh
 	./configure
 	make
 	make install
 
-For users using the distributed tarball:
+For users using the distributed tarball / github:
 
 	./configure
 	make
+	make check
 	make install