--- 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
--- a/src/Pure/Tools/build_docker.scala Sat Oct 31 11:59:00 2020 +0100
+++ b/src/Pure/Tools/build_docker.scala Sat Oct 31 21:02:45 2020 +0100
@@ -117,7 +117,7 @@
Options are:
-B NAME base image (default """ + quote(default_base) + """)
- -E set bin/isabelle as entrypoint
+ -E set Isabelle/bin/isabelle as entrypoint
-P NAME additional Ubuntu package collection (""" +
package_collections.keySet.toList.sorted.map(quote(_)).mkString(", ") + """)
-l NAME default logic (default ISABELLE_LOGIC=""" + quote(default_logic) + """)