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.
tuned;
authorwenzelm
Wed, 19 Oct 2016 16:30:24 +0200
changeset 64310 3584841f2d2c
parent 64309 1bde86d10013
child 64311 3d5e7719e878
tuned;
src/Pure/Admin/build_doc.scala file | annotate | diff | comparison | revisions 
--- 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)
isabelle