src/Pure/Admin/build_fonts.scala
changeset 69354 600727ff6889
parent 69343 395c4fb15ea2
child 69371 3539767d5c61
equal deleted inserted replaced
69353:a6e83dcc00e6 69354:600727ff6889
     1 /*  Title:      Pure/Admin/build_fonts.scala
     1 /*  Title:      Pure/Admin/build_fonts.scala
     2     Author:     Makarius
     2     Author:     Makarius
     3 
     3 
     4 Build of Isabelle fonts: DejaVu + special symbols.
     4 Build standard Isabelle fonts: DejaVu base + Isabelle symbols.
     5 */
     5 */
     6 
     6 
     7 package isabelle
     7 package isabelle
     8 
     8 
     9 
     9 
   182     target_dir: Path = Path.current,
   182     target_dir: Path = Path.current,
   183     progress: Progress = No_Progress)
   183     progress: Progress = No_Progress)
   184   {
   184   {
   185     Isabelle_System.mkdirs(target_dir)
   185     Isabelle_System.mkdirs(target_dir)
   186 
   186 
   187     val font_dirs = source_dirs ::: List(Path.explode("~~/lib/fonts"))
   187     val font_dirs = source_dirs ::: List(Path.explode("~~/Admin/isabelle_fonts"))
       
   188     for (dir <- font_dirs if !dir.is_dir) error("Bad source directory: " + dir)
   188 
   189 
   189     for { source <- sources; (source_font, index) <- source.fonts.zipWithIndex } {
   190     for { source <- sources; (source_font, index) <- source.fonts.zipWithIndex } {
   190       val isabelle_file = find_file(font_dirs, Family.isabelle_text.get(index))
   191       val isabelle_file = find_file(font_dirs, Family.isabelle_text.get(index))
   191 
   192 
   192       val source_file = find_file(font_dirs, source_font)
   193       val source_file = find_file(font_dirs, source_font)