# HG changeset patch
# User wenzelm
# Date 1476887424 -7200
# Node ID 3584841f2d2cb523d7e64aeed0be31e8bd9c3dd3
# Parent  1bde86d1001331e1ce1e1e3cfa2522a85af8a08c
tuned;

diff -r 1bde86d10013 -r 3584841f2d2c src/Pure/Admin/build_doc.scala
--- 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)