--- 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