--- loncom/build/Makefile	2012/01/30 11:36:34	1.201
+++ loncom/build/Makefile	2013/07/22 22:17:58	1.202
@@ -1,6 +1,6 @@
 # The LearningOnline Network with CAPA
 
-# $Id: Makefile,v 1.201 2012/01/30 11:36:34 goltermann Exp $
+# $Id: Makefile,v 1.202 2013/07/22 22:17:58 raeburn Exp $
 
 # TYPICAL USAGE of this Makefile is primarily for two targets:
 # "make build" and "make install".
@@ -56,9 +56,12 @@ help:
 
 help_OPTIONS:
 	@echo "* ADJUSTABLE OPTIONS *"
-	@echo "(option) DIST can be redhat7, debian, redhat6.2, or default"
-	@echo "         You probably do not need to specify this; it is"
-	@echo "         automatically probed for."
+	@echo "(option) DIST can be centosN (N = 5 or 6), rhesN (N = 4, 5 or 6),"
+	@echo "         or scientificN (N = 4 or 5), or slesN (N = 9,10 or 11),"
+	@echo "         or ubuntuN (N= 6, 8, 10 or 12), or fedoraN (N = 1 .. 19)," 
+	@echo "         or suseN.M (N.M: 9.2 ... 12.3), or debianN (N = 5 or 6),"
+	@echo "         or default.  It is unlikely you would ever need to specify"
+	@echo "         this, as it is automatically probed for."
 	@echo "(option) CATEGORY can be 'runtime' or 'development'; currently"
 	@echo "         the 'development' setting is the most reliable;"
 	@echo "         eventually, production machines should be using the"