# HG changeset patch
# User wenzelm
# Date 1477310722 -7200
# Node ID 213cf4215b40938652b3338e6849fc78dd236f90
# Parent  865b39487b5ddc1a831a13d2c0506b96bd736bef
more robust;

diff -r 865b39487b5d -r 213cf4215b40 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Mon Oct 24 12:16:12 2016 +0200
+++ b/src/Pure/Admin/build_release.scala	Mon Oct 24 14:05:22 2016 +0200
@@ -49,6 +49,8 @@
   {
     /* release info */
 
+    Isabelle_System.mkdirs(base_dir)
+
     val release_info =
     {
       val date = Date.now()