src/Pure/Admin/build_fonts.scala

     }
 
 
     // etc/settings
 
-    val settings_path = target_dir + Path.explode("etc/settings")
+    val settings_path = Components.settings(target_dir)
     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") +