1 files changed, 15 insertions, 0 deletions
diff --git a/font/devdvi/generate/CompileFonts b/font/devdvi/generate/CompileFonts
new file mode 100755
index 0000000..0d07529
--- /dev/null
+++ b/font/devdvi/generate/CompileFonts
@@ -0,0 +1,15 @@
+#! /bin/sh
+# Compile fonts in the sizes needed by groff.
+sizes="5 6 7 8 9 10 10.95 12 14 14.40 16 17.28 18 20 20.74 22 24 24.88 28 36"
+fonts="cmr10 cmti10 cmbx10 cmbxti10 cmtt10 cmex10 cmmi10 cmsy10 cmss10 cmssbx10 cmssi10"
+mode=cx
+dpi=300
+
+for f in $fonts; do
+    for s in $sizes; do
+	virmf "&cm \\mode=$mode; mag=$s/10; batchmode; input $f" >/dev/null
+	mag=`expr $s \* $dpi / 10`
+	gftopk $f.${mag}gf >/dev/null
+	rm $f.${mag}gf
+    done
+done