diff -r c4cbe609f6a8 -r 01189e46dc55 src/Tools/jEdit/lib/Tools/jedit --- a/src/Tools/jEdit/lib/Tools/jedit Thu Sep 21 12:47:16 2017 +0200 +++ b/src/Tools/jEdit/lib/Tools/jedit Thu Sep 21 13:21:36 2017 +0200 @@ -110,13 +110,14 @@ echo echo " Options are:" echo " -D NAME=X set JVM system property" - echo " -J OPTION add JVM runtime option (default $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS)" + echo " -J OPTION add JVM runtime option" + echo " (default $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS)" echo " -R open ROOT entry of logic session and use its parent" echo " -b build only" echo " -d DIR include session directory" echo " -f fresh build" echo " -j OPTION add jEdit runtime option" - echo " (default JEDIT_OPTIONS=$JEDIT_OPTIONS)" + echo " (default $JEDIT_OPTIONS)" echo " -l NAME logic session name" echo " -m MODE add print mode for output" echo " -n no build of session image on startup"