# HG changeset patch
# User wenzelm
# Date 1730846739 -3600
# Node ID 4829e4c68d7c38d0b7ecc4c11434cfdb77d58768
# Parent  c5a61c7e27251ccbc41f43cb24b8bef135cd2881
tuned description: plain text documentation is also supported;

diff -r c5a61c7e2725 -r 4829e4c68d7c src/Doc/System/Misc.thy
--- a/src/Doc/System/Misc.thy	Tue Nov 05 23:27:47 2024 +0100
+++ b/src/Doc/System/Misc.thy	Tue Nov 05 23:45:39 2024 +0100
@@ -191,7 +191,7 @@
   @{verbatim [display]
 \<open>Usage: isabelle doc [DOC ...]
 
-  View Isabelle PDF documentation.\<close>}
+  View Isabelle 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 c5a61c7e2725 -r 4829e4c68d7c src/Pure/Tools/doc.scala
--- a/src/Pure/Tools/doc.scala	Tue Nov 05 23:27:47 2024 +0100
+++ b/src/Pure/Tools/doc.scala	Tue Nov 05 23:45:39 2024 +0100
@@ -1,7 +1,7 @@
 /*  Title:      Pure/Tools/doc.scala
     Author:     Makarius
 
-Access to Isabelle examples and PDF documentation.
+Access to Isabelle examples and documentation.
 */
 
 package isabelle
@@ -130,13 +130,13 @@
 
   /* Isabelle tool wrapper */
 
-  val isabelle_tool = Isabelle_Tool("doc", "view Isabelle PDF documentation",
+  val isabelle_tool = Isabelle_Tool("doc", "view Isabelle documentation",
     Scala_Project.here,
     { args =>
       val getopts = Getopts("""
 Usage: isabelle doc [DOC ...]
 
-  View Isabelle examples and PDF documentation.
+  View Isabelle documentation.
 """)
       val docs = getopts(args)