--- a/src/Pure/Admin/build_doc.scala Wed Oct 19 14:43:11 2016 +0200
+++ b/src/Pure/Admin/build_doc.scala Wed Oct 19 16:30:24 2016 +0200
@@ -78,7 +78,7 @@
val getopts =
Getopts("""
-Usage: isabelle build_doc [OPTIONS] [DOCS ...]"
+Usage: isabelle build_doc [OPTIONS] [DOCS ...]
Options are:
-a select all documentation sessions
@@ -88,9 +88,9 @@
Build Isabelle documentation from documentation sessions with
suitable document_variants entry.
""",
- "a" -> (_ => all_docs = true),
- "j:" -> (arg => max_jobs = Value.Int.parse(arg)),
- "s" -> (_ => system_mode = true))
+ "a" -> (_ => all_docs = true),
+ "j:" -> (arg => max_jobs = Value.Int.parse(arg)),
+ "s" -> (_ => system_mode = true))
val docs = getopts(args)