summaryrefslogtreecommitdiff
path: root/dviware/dvipage/makefonts
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /dviware/dvipage/makefonts
Initial commit
Diffstat (limited to 'dviware/dvipage/makefonts')
-rw-r--r--dviware/dvipage/makefonts24
1 files changed, 24 insertions, 0 deletions
diff --git a/dviware/dvipage/makefonts b/dviware/dvipage/makefonts
new file mode 100644
index 0000000000..e5ec10c643
--- /dev/null
+++ b/dviware/dvipage/makefonts
@@ -0,0 +1,24 @@
+#! /bin/csh
+setenv NEW_DIR "$PWD"
+pushd /usr/lib/publisher
+foreach font_set ( `ls -d *pixels` )
+ pushd $font_set
+ foreach resolution_set ( screen xerox300 canon300 )
+ if ( -d $resolution_set ) then
+ pushd $resolution_set
+ foreach resolution ( `ls -d dpi*` )
+ setenv DPI "`( echo $resolution | cut -c4- )`pk"
+ pushd $resolution
+ foreach font ( `ls *.pk` )
+ setenv FONT_NAME "`basename $font pk`"
+ setenv NEW_NAME "$NEW_DIR/$FONT_NAME$DPI"
+ if ( -e $NEW_NAME == 0 ) ln $font $NEW_NAME
+ end
+ popd
+ end
+ popd
+ endif
+ end
+ popd
+end
+popd