Pure/Admin/build_fonts.scala

218     target_dir: Path = default_target_dir,
221     progress.echo("Directory " + target_dir)
222     hinting.foreach(hinted => Isabelle_System.mkdirs(target_dir + hinted_path(hinted)))
243             val target_file = target_dir + hinted_path(hinted) + target_names.ttf
280       val target_file = target_dir + hinted_path(false) + target_names.ttf
286           yield Fontforge.font_domain(target_dir + hinted_path(false) + name))
310     val settings_path = Components.settings(target_dir)
332     File.copy(Path.explode("~~/Admin/isabelle_fonts/README"), target_dir)
357       val target_dir = Path.explode("isabelle_fonts-" + target_version)
361       build_fonts(source_dirs = source_dirs, target_dir = target_dir,