# HG changeset patch
# User wenzelm
# Date 1667656409 -3600
# Node ID 74c3ecfeb3eac443808f9fa2b409347b0d7c04f8
# Parent  f2d17e69e5209208bcba53374b54f293b0ded8ad
clarified description, to fit better to e.g. "isabelle build_doc -a -V system jedit";

diff -r f2d17e69e520 -r 74c3ecfeb3ea src/Pure/Admin/build_doc.scala
--- 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)