# HG changeset patch
# User wenzelm
# Date 1615929184 -3600
# Node ID 02ea468ecf07cd3bde1d6a20d9539ecbd985c195
# Parent  8948519e0a7867c58dc808c7f5338b25fd18171b
proper directory of settings file;
tuned;

diff -r 8948519e0a78 -r 02ea468ecf07 src/Pure/Admin/build_fonts.scala
--- a/src/Pure/Admin/build_fonts.scala	Tue Mar 16 08:42:21 2021 +0100
+++ b/src/Pure/Admin/build_fonts.scala	Tue Mar 16 22:13:04 2021 +0100
@@ -218,6 +218,8 @@
     target_dir: Path = default_target_dir,
     progress: Progress = new Progress): Unit =
   {
+    Isabelle_System.require_command("ttfautohint")
+
     progress.echo("Directory " + target_dir)
     hinting.foreach(hinted => Isabelle_System.make_directory(target_dir + hinted_path(hinted)))
 
@@ -307,7 +309,8 @@
 
     // etc/settings
 
-    val settings_path = Isabelle_System.make_directory(Components.settings(target_dir))
+    val settings_path = Components.settings(target_dir)
+    Isabelle_System.make_directory(settings_path.dir)
 
     def fonts_settings(hinted: Boolean): String =
       "\n  isabelle_fonts \\\n" +