--- a/src/Pure/Tools/build.scala Mon Oct 05 21:15:58 2020 +0200
+++ b/src/Pure/Tools/build.scala Mon Oct 05 22:07:25 2020 +0200
@@ -413,9 +413,8 @@
if (result1.ok) {
for (document_output <- proper_string(options.string("document_output"))) {
- val document_output_dir = info.dir + Path.explode(document_output)
- Isabelle_System.make_directory(document_output_dir)
-
+ val document_output_dir =
+ Isabelle_System.make_directory(info.dir + Path.explode(document_output))
val base = deps(session_name)
File.write(document_output_dir + Path.explode("session.tex"),
base.session_theories.map(name => "\\input{" + name.theory_base_name + ".tex}\n\n").mkString)