src/Pure/Tools/doc.scala
changeset 54690 cd88b44623bf
parent 53935 59c6dbdf0a38
child 56276 9e2d5e3debd3
     1.1 --- a/src/Pure/Tools/doc.scala	Sat Dec 07 12:52:31 2013 +0100
     1.2 +++ b/src/Pure/Tools/doc.scala	Sat Dec 07 13:10:56 2013 +0100
     1.3 @@ -81,12 +81,10 @@
     1.4  
     1.5    def view(name: String)
     1.6    {
     1.7 -    val doc = name + ".pdf"
     1.8 -    dirs().find(dir => (dir + Path.basic(doc)).is_file) match {
     1.9 -      case Some(dir) =>
    1.10 -        Isabelle_System.bash_env(dir.file, null,
    1.11 -          "\"$ISABELLE_TOOL\" display " + quote(doc) + " >/dev/null 2>/dev/null &")
    1.12 -      case None => error("Missing Isabelle documentation file: " + quote(doc))
    1.13 +    val doc = Path.basic(name + ".pdf")
    1.14 +    dirs().find(dir => (dir + doc).is_file) match {
    1.15 +      case Some(dir) => Isabelle_System.pdf_viewer(dir + doc)
    1.16 +      case None => error("Missing Isabelle documentation file: " + doc)
    1.17      }
    1.18    }
    1.19