# HG changeset patch
# User wenzelm
# Date 1372181140 -7200
# Node ID 082a1c8c2c89364d8649372dd4bfba875b75676c
# Parent  9a74000426e2f4a069794c736be88221f6649df5
clarified ISABELLE_DOC_FORMAT -- eliminated slightly odd fall-back;

diff -r 9a74000426e2 -r 082a1c8c2c89 src/Pure/Tools/doc.scala
--- a/src/Pure/Tools/doc.scala	Tue Jun 25 19:13:37 2013 +0200
+++ b/src/Pure/Tools/doc.scala	Tue Jun 25 19:25:40 2013 +0200
@@ -53,19 +53,12 @@
 
   def view(name: String)
   {
-    val formats = List(Isabelle_System.getenv_strict("ISABELLE_DOC_FORMAT"), "dvi")
-    val docs =
-      for {
-        dir <- dirs()
-        fmt <- formats
-        doc = name + "." + fmt
-        if (dir + Path.basic(doc)).is_file
-      } yield (dir, doc)
-    docs match {
-      case (dir, doc) :: _ =>
+    val doc = name + "." + Isabelle_System.getenv_strict("ISABELLE_DOC_FORMAT")
+    dirs().find(dir => (dir + Path.basic(doc)).is_file) match {
+      case Some(dir) =>
         Isabelle_System.bash_env(dir.file, null,
           "\"$ISABELLE_TOOL\" display " + quote(doc) + " >/dev/null 2>/dev/null &")
-      case Nil => error("Missing Isabelle documentation: " + quote(name))
+      case None => error("Missing Isabelle documentation file: " + quote(doc))
     }
   }