--- a/src/Pure/Admin/build_fonts.scala Sat Feb 27 17:33:40 2021 +0100
+++ b/src/Pure/Admin/build_fonts.scala Sat Feb 27 18:04:29 2021 +0100
@@ -244,7 +244,7 @@
progress.echo("Font " + target_file.toString + " ...")
if (hinted) auto_hint(source_file, tmp_file)
- else File.copy(source_file, tmp_file)
+ else Isabelle_System.copy_file(source_file, tmp_file)
Fontforge.execute(
Fontforge.commands(
@@ -328,7 +328,7 @@
// README
- File.copy(Path.explode("~~/Admin/isabelle_fonts/README"), target_dir)
+ Isabelle_System.copy_file(Path.explode("~~/Admin/isabelle_fonts/README"), target_dir)
}