diff options
Diffstat (limited to 'gnu/usr.bin/groff/devdvi/generate/CompileFonts')
| -rw-r--r-- | gnu/usr.bin/groff/devdvi/generate/CompileFonts | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/gnu/usr.bin/groff/devdvi/generate/CompileFonts b/gnu/usr.bin/groff/devdvi/generate/CompileFonts deleted file mode 100644 index 8859f8ea863..00000000000 --- a/gnu/usr.bin/groff/devdvi/generate/CompileFonts +++ /dev/null @@ -1,15 +0,0 @@ -#! /bin/sh -# Compile fonts in the sizes needed by groff. -sizes="5 6 7 8 9 10 11 12 14 16 18 20 22 24 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 |