--- a/src/Pure/Admin/build_fonts.scala Thu Nov 29 14:43:11 2018 +0100
+++ b/src/Pure/Admin/build_fonts.scala Thu Nov 29 15:07:18 2018 +0100
@@ -264,6 +264,29 @@
Fontforge.close)
).check
}
+
+
+ // etc/settings
+
+ val settings_path = target_dir + Path.explode("etc/settings")
+ Isabelle_System.mkdirs(settings_path.dir)
+ File.write(settings_path,
+ "# -*- shell-script -*- :mode=shellscript:\n\nisabelle_fonts \\\n" +
+ (for ((path, _) <- targets)
+ yield """ "$COMPONENT/""" + path.file_name + "\"").mkString(" \\\n") +
+ """
+
+if [ -z "$ISABELLE_FONTS_HTML" ]
+then
+ ISABELLE_FONTS_HTML="$COMPONENT/Vacuous.ttf"
+else
+ ISABELLE_FONTS_HTML="$ISABELLE_FONTS_HTML:$COMPONENT/Vacuous.ttf"
+fi
+""")
+
+
+ // README
+ File.copy(Path.explode("~~/Admin/isabelle_fonts/README"), target_dir)
}