399463 add start.ini documentation for OPTIONS

1 files changed, 10 insertions, 0 deletions

diff --git a/jetty-start/src/test/resources/jetty.home/start.ini b/jetty-start/src/test/resources/jetty.home/start.ini
index 65c0816fbb..9dac7b8b85 100644
--- a/jetty-start/src/test/resources/jetty.home/start.ini
+++ b/jetty-start/src/test/resources/jetty.home/start.ini
@@ -45,6 +45,16 @@
 # These control what classes are on the classpath
 # for a full listing do
 #   java -jar start.jar --list-options
+#
+# Enable classpath OPTIONS. Each options represents one or more jars
+# to be added to the classpath. The options are defined in
+# the start.config file and can be listed with --help or --list-options.
+# By convention, options starting with a capital letter (eg Server)
+# are aggregations of other available options.
+# Directories in $JETTY_HOME/lib can be added as dynamic OPTIONS by
+# convention. E.g. put some logging jars in $JETTY_HOME/lib/logging
+# and make them available in the classpath by adding a "logging" OPTION
+# like so: OPTIONS=Server,jsp,logging
 #-----------------------------------------------------------
 OPTIONS=Server,jsp,resources,websocket,ext
 #-----------------------------------------------------------