# HG changeset patch
# User wenzelm
# Date 1636549842 -3600
# Node ID 10991d115fff768eb979fdc0f4d52f0a72acf4eb
# Parent  56fe200b7121d5995ec1da833142b038f3d309a8
tuned;

diff -r 56fe200b7121 -r 10991d115fff src/Pure/Thy/document_build.scala
--- a/src/Pure/Thy/document_build.scala	Wed Nov 10 13:16:57 2021 +0100
+++ b/src/Pure/Thy/document_build.scala	Wed Nov 10 14:10:42 2021 +0100
@@ -253,11 +253,10 @@
 
     def prepare_directory(dir: Path, doc: Document_Variant): Directory =
     {
-      val doc_dir = dir + Path.basic(doc.name)
-      Isabelle_System.make_directory(doc_dir)
+      val doc_dir = Isabelle_System.make_directory(dir + Path.basic(doc.name))
 
 
-      /* sources */
+      /* actual sources: with SHA1 digest */
 
       isabelle_styles.foreach(Isabelle_System.copy_file(_, doc_dir))
       doc.isabelletags.write(doc_dir)
@@ -277,7 +276,7 @@
       val sources = SHA1.digest_set(digests1 ::: digests2)
 
 
-      /* derived material (without SHA1 digest) */
+      /* derived material: without SHA1 digest */
 
       isabelle_logo.foreach(_.write(doc_dir))