--- loncom/build/Makefile	2019/06/09 03:10:16	1.214
+++ loncom/build/Makefile	2019/07/02 19:40:31	1.215
@@ -1,6 +1,6 @@
 # The LearningOnline Network with CAPA
 
-# $Id: Makefile,v 1.214 2019/06/09 03:10:16 raeburn Exp $
+# $Id: Makefile,v 1.215 2019/07/02 19:40:31 raeburn Exp $
 
 # TYPICAL USAGE of this Makefile is primarily for two targets:
 # "make build" and "make install".
@@ -57,11 +57,12 @@ help:
 help_OPTIONS:
 	@echo "* ADJUSTABLE OPTIONS *"
 	@echo "(option) DIST can be centosN (N = 5, 6 or 7), rhesN (N = 4, 5, 6, 7 or 8),"
-	@echo "         or scientificN (N = 5, 6 or 7), or slesN (N = 9, 10, 11, 12 or 15),"
+	@echo "         scientificN (N = 5, 6 or 7), oracleN (N = 5, 6, or 7)"
+	@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 .. 30),"
-	@echo "         or suseN.M (N.M: 9.2 .. 13.2), 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 "         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"
 	@echo "         the 'development' setting is the most reliable;"
 	@echo "         eventually, production machines should be using the"