equal
deleted
inserted
replaced
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 |