diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/bbm/fonts/gfbatch.batch')
-rw-r--r-- | Master/texmf-dist/source/latex/bbm/fonts/gfbatch.batch | 55 |
1 files changed, 0 insertions, 55 deletions
diff --git a/Master/texmf-dist/source/latex/bbm/fonts/gfbatch.batch b/Master/texmf-dist/source/latex/bbm/fonts/gfbatch.batch deleted file mode 100644 index 642e4bdec67..00000000000 --- a/Master/texmf-dist/source/latex/bbm/fonts/gfbatch.batch +++ /dev/null @@ -1,55 +0,0 @@ -# This is a shell script that produces all PK files from GF files -# produced by mfbatch.batch, assuming that 'localfont' is a 300dpi laser. -# Gilles F. ROBERT (29-03-93) -gftopk bbm10.300gf -gftopk bbm12.300gf -gftopk bbm17.300gf -gftopk bbm9.300gf -gftopk bbm8.300gf -gftopk bbm7.300gf -gftopk bbm6.300gf -gftopk bbm5.300gf -# -gftopk bbmsl10.300gf -gftopk bbmsl12.300gf -gftopk bbmsl9.300gf -gftopk bbmsl8.300gf -# -gftopk bbmbx10.300gf -gftopk bbmbx12.300gf -gftopk bbmbx9.300gf -gftopk bbmbx8.300gf -gftopk bbmbx7.300gf -gftopk bbmbx6.300gf -gftopk bbmbx5.300gf -gftopk bbmbxsl10.300gf -# -gftopk bbmss10.300gf -gftopk bbmss12.300gf -gftopk bbmss17.300gf -gftopk bbmss9.300gf -gftopk bbmss8.300gf -gftopk bbmssq8.300gf -# -gftopk bbmssi10.300gf -gftopk bbmssi12.300gf -gftopk bbmssi17.300gf -gftopk bbmssi9.300gf -gftopk bbmssi8.300gf -gftopk bbmssqi8.300gf -# -gftopk bbmssbx10.300gf -gftopk bbmssdc10.300gf -# -gftopk bbmtt10.300gf -gftopk bbmtt12.300gf -gftopk bbmtt9.300gf -gftopk bbmtt8.300gf -gftopk bbmsltt10.300gf -gftopk bbmvtt10.300gf -# -gftopk bbmb10.300gf -gftopk bbmdunh10.300gf -gftopk bbmfib8.300gf -gftopk bbminch.300gf - |