src/Pure/Tools/doc.scala
changeset 62454 38c89353b349
parent 62438 42e13a4f52f5
child 62831 5560905a32ae
     1.1 --- a/src/Pure/Tools/doc.scala	Sun Feb 28 17:37:20 2016 +0100
     1.2 +++ b/src/Pure/Tools/doc.scala	Sun Feb 28 17:40:01 2016 +0100
     1.3 @@ -96,7 +96,7 @@
     1.4    def main(args: Array[String])
     1.5    {
     1.6      Command_Line.tool0 {
     1.7 -      val getopts = Getopts(() => """
     1.8 +      val getopts = Getopts("""
     1.9  Usage: isabelle doc [DOC ...]
    1.10  
    1.11    View Isabelle documentation.