summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/bbm/fonts/gfbatch.batch
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/bbm/fonts/gfbatch.batch')
-rw-r--r--Master/texmf-dist/source/latex/bbm/fonts/gfbatch.batch55
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
-