src/Doc/System/Misc.thy

--- a/src/Doc/System/Misc.thy	Sat Oct 31 11:59:00 2020 +0100
+++ b/src/Doc/System/Misc.thy	Sat Oct 31 21:02:45 2020 +0100
@@ -39,7 +39,7 @@
 
   Options are:
     -B NAME      base image (default "ubuntu")
-    -E           set bin/isabelle as entrypoint
+    -E           set Isabelle/bin/isabelle as entrypoint
     -P NAME      additional Ubuntu package collection ("X11", "latex")
     -l NAME      default logic (default ISABELLE_LOGIC="HOL")
     -n           no docker build