Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified description, to fit better to e.g. "isabelle build_doc -a -V system jedit";
authorwenzelm
Sat, 05 Nov 2022 14:53:29 +0100
changeset 76455 74c3ecfeb3ea
parent 76454 f2d17e69e520
child 76456 8dbda1b611e9
clarified description, to fit better to e.g. "isabelle build_doc -a -V system jedit";
src/Pure/Admin/build_doc.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_doc.scala	Sat Nov 05 14:41:51 2022 +0100
+++ b/src/Pure/Admin/build_doc.scala	Sat Nov 05 14:53:29 2022 +0100
@@ -95,7 +95,7 @@
 Usage: isabelle build_doc [OPTIONS] [DOCS ...]
 
   Options are:
-    -V           view resulting documents
+    -V           view explicitly given documents
     -a           select all documentation sessions
     -j INT       maximum number of parallel jobs (default 1)
     -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
isabelle