# HG changeset patch
# User wenzelm
# Date 1645458524 -3600
# Node ID 001b74439ad4c4250fcbed63e4378ee86242cf38
# Parent  c212435866d6d65c038a3931578dcbbd4bbf548e
tuned message;

diff -r c212435866d6 -r 001b74439ad4 src/Doc/System/Misc.thy
--- a/src/Doc/System/Misc.thy	Mon Feb 21 16:23:11 2022 +0100
+++ b/src/Doc/System/Misc.thy	Mon Feb 21 16:48:44 2022 +0100
@@ -182,7 +182,7 @@
   @{verbatim [display]
 \<open>Usage: isabelle doc [DOC ...]
 
-  View Isabelle documentation.\<close>}
+  View Isabelle PDF documentation.\<close>}
 
   If called without arguments, it lists all available documents. Each line
   starts with an identifier, followed by a short description. Any of these
diff -r c212435866d6 -r 001b74439ad4 src/Pure/Tools/doc.scala
--- a/src/Pure/Tools/doc.scala	Mon Feb 21 16:23:11 2022 +0100
+++ b/src/Pure/Tools/doc.scala	Mon Feb 21 16:48:44 2022 +0100
@@ -124,13 +124,13 @@
 
   /* Isabelle tool wrapper */
 
-  val isabelle_tool = Isabelle_Tool("doc", "view Isabelle documentation",
+  val isabelle_tool = Isabelle_Tool("doc", "view Isabelle PDF documentation",
     Scala_Project.here, args =>
   {
     val getopts = Getopts("""
 Usage: isabelle doc [DOC ...]
 
-  View Isabelle documentation.
+  View Isabelle PDF documentation.
 """)
     val docs = getopts(args)