Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/build_doc.scala
changeset 62454 38c89353b349
parent 62435 2c390ad93bc8
child 62631 c39614ddb80b 
--- a/src/Pure/Tools/build_doc.scala	Sun Feb 28 17:37:20 2016 +0100
+++ b/src/Pure/Tools/build_doc.scala	Sun Feb 28 17:40:01 2016 +0100
@@ -77,7 +77,7 @@
       var system_mode = false
 
       val getopts =
-        Getopts(() => """
+        Getopts("""
 Usage: isabelle build_doc [OPTIONS] [DOCS ...]"
 
   Options are:
isabelle