# HG changeset patch
# User wenzelm
# Date 1460626450 -7200
# Node ID 087e36ce059359fdda521a581de63bfb3cdc63e4
# Parent  f78cf782bd33e90ebfd369986e5abf427cf4229d
back to exact copy of non-text file (amending dcc8e1d34b18);
explicit chmod, since Files.copy appears to copy permissions regardless of StandardCopyOption.COPY_ATTRIBUTES;

diff -r f78cf782bd33 -r 087e36ce0593 src/Pure/Thy/present.scala
--- a/src/Pure/Thy/present.scala	Wed Apr 13 18:04:27 2016 +0200
+++ b/src/Pure/Thy/present.scala	Thu Apr 14 11:34:10 2016 +0200
@@ -103,7 +103,11 @@
 
     if (info.options.bool("browser_info")) {
       Isabelle_System.mkdirs(session_prefix)
-      File.write(session_prefix + Path.basic("session_graph.pdf"), File.read(graph_file))
+
+      val session_graph = session_prefix + Path.basic("session_graph.pdf")
+      File.copy(graph_file, session_graph.file)
+      Isabelle_System.bash("chmod a+r " + File.bash_path(session_graph))
+
       File.copy(Path.explode("~~/etc/isabelle.css"), session_prefix)
 
       for (font <- Path.split(Isabelle_System.getenv_strict("ISABELLE_FONTS")))