src/Pure/Tools/doc.scala
changeset 67178 70576478bda9
parent 62831 5560905a32ae
child 67471 bddfa23a4ea9
     1.1 --- a/src/Pure/Tools/doc.scala	Sun Dec 10 18:43:08 2017 +0100
     1.2 +++ b/src/Pure/Tools/doc.scala	Sun Dec 10 20:29:00 2017 +0100
     1.3 @@ -82,7 +82,7 @@
     1.4  
     1.5    def view(path: Path)
     1.6    {
     1.7 -    if (path.is_file) Console.println(Library.trim_line(File.read(path)))
     1.8 +    if (path.is_file) Output.writeln(Library.trim_line(File.read(path)), stdout = true)
     1.9      else {
    1.10        val pdf = path.ext("pdf")
    1.11        if (pdf.is_file) Isabelle_System.pdf_viewer(pdf)
    1.12 @@ -103,7 +103,7 @@
    1.13      val docs = getopts(args)
    1.14  
    1.15      val entries = contents()
    1.16 -    if (docs.isEmpty) Console.println(cat_lines(contents_lines().map(_._2)))
    1.17 +    if (docs.isEmpty) Output.writeln(cat_lines(contents_lines().map(_._2)), stdout = true)
    1.18      else {
    1.19        docs.foreach(doc =>
    1.20          entries.collectFirst { case Doc(name, _, path) if doc == name => path } match {