summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/fonts/bbm/gfbatch.batch
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/fonts/bbm/gfbatch.batch')
-rw-r--r--Master/texmf-dist/doc/fonts/bbm/gfbatch.batch55
1 files changed, 55 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/fonts/bbm/gfbatch.batch b/Master/texmf-dist/doc/fonts/bbm/gfbatch.batch
new file mode 100644
index 00000000000..642e4bdec67
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/bbm/gfbatch.batch
@@ -0,0 +1,55 @@
+# 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
+