Index: INSTALL
===================================================================
--- INSTALL	(revision 44856edf2e65daf51c0bc39fe8f674cd056b4fce)
+++ INSTALL	(revision 7de2affc58a5eeb54c5f1d32d6fde5d1fd0a0a6a)
@@ -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