clarified signature;
authorwenzelm
Fri, 22 Dec 2017 16:14:01 +0100
changeset 67258 5035b6754fca
parent 67257 ce7d856680d1
child 67259 51b30032cf20
clarified signature;
src/Pure/Tools/bibtex.scala
--- a/src/Pure/Tools/bibtex.scala	Fri Dec 22 16:10:48 2017 +0100
+++ b/src/Pure/Tools/bibtex.scala	Fri Dec 22 16:14:01 2017 +0100
@@ -494,7 +494,7 @@
 
   private val output_styles =
     List(
-      "empty" -> "html-n",
+      "" -> "html-n",
       "plain" -> "html-n",
       "alpha" -> "html-a",
       "named" -> "html-n",
@@ -506,7 +506,7 @@
     title: String = "Bibliography",
     body: Boolean = false,
     citations: List[String] = List("*"),
-    style: String = "empty",
+    style: String = "",
     chronological: Boolean = false): String =
   {
     Isabelle_System.with_tmp_dir("bibtex")(tmp_dir =>
@@ -549,7 +549,8 @@
 
       Isabelle_System.bash(
         "\"$BIB2XHTML_HOME/main/bib2xhtml.pl\" -B \"$ISABELLE_BIBTEX\"" +
-          " -u -s " + Bash.string(style) + (if (chronological) " -c" else "") +
+          " -u -s " + Bash.string(proper_string(style) getOrElse "empty") +
+          (if (chronological) " -c" else "") +
           (if (title != "") " -h " + Bash.string(title) + " " else "") +
           " " + File.bash_path(in_file) + " " + File.bash_path(out_file),
         cwd = tmp_dir.file).check