--- loncom/build/Makefile	2019/11/07 16:50:33	1.201.2.19
+++ loncom/build/Makefile	2019/11/07 17:19:11	1.201.2.20
@@ -1,6 +1,6 @@
 # The LearningOnline Network with CAPA
 
-# $Id: Makefile,v 1.201.2.19 2019/11/07 16:50:33 raeburn Exp $
+# $Id: Makefile,v 1.201.2.20 2019/11/07 17:19:11 raeburn Exp $
 
 # TYPICAL USAGE of this Makefile is primarily for two targets:
 # "make build" and "make install".
@@ -56,11 +56,11 @@ help:
 
 help_OPTIONS:
 	@echo "* ADJUSTABLE OPTIONS *"
- 	@echo "(option) DIST can be centosN (N = 5, 6, 7 or 8), rhesN (N = 4, 5, 6, 7 or 8),"
- 	@echo "         scientificN (N = 5, 6 or 7), oracleN (N = 6, 7, or 8),"
-	@echo "         or slesN (N = 9, 10, 11, 12 or 15), or debianN (N = 5 or 6)," 
+	@echo "(option) DIST can be centosN (N = 5, 6, 7 or 8), rhesN (N = 4, 5, 6, 7 or 8),"
+	@echo "         scientificN (N = 5, 6 or 7), oracleN (N = 6, 7 or 8),"
+	@echo "         or slesN (N = 9, 10, 11, 12 or 15), or debianN (N = 5 or 6),"
 	@echo "         or ubuntuN (N= 6, 8, 10, 12, 14, 16 or 18), or fedoraN (N = 1 .. 31),"
-	@echo "         or suseN.M (N.M: 9.2 ... 13.2), or default."
+	@echo "         or suseN.M (N.M: 9.2 .. 13.2), or default."
 	@echo "         It is unlikely you would ever need to specify this,"
 	@echo "         as it is automatically probed for."
 	@echo "(option) CATEGORY can be 'runtime' or 'development'; currently"