src/Pure/System/doc.scala
changeset 52429 921f22c8890e
parent 52427 9d1cc9a22177
equal deleted inserted replaced
52428:fce1c133e1f8 52429:921f22c8890e
    58         doc = name + "." + fmt
    58         doc = name + "." + fmt
    59         if (dir + Path.basic(doc)).is_file
    59         if (dir + Path.basic(doc)).is_file
    60       } yield (dir, doc)
    60       } yield (dir, doc)
    61     docs match {
    61     docs match {
    62       case (dir, doc) :: _ =>
    62       case (dir, doc) :: _ =>
    63         Isabelle_System.bash_env(dir.file, null, "\"$ISABELLE_TOOL\" display " + quote(doc) + " &")
    63         Isabelle_System.bash_env(dir.file, null,
       
    64           "\"$ISABELLE_TOOL\" display " + quote(doc) + " >/dev/null 2>/dev/null &")
    64       case Nil => error("Missing Isabelle documentation: " + quote(name))
    65       case Nil => error("Missing Isabelle documentation: " + quote(name))
    65     }
    66     }
    66   }
    67   }
    67 }
    68 }
    68 
    69