diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /dviware/dvipage/makefonts |
Initial commit
Diffstat (limited to 'dviware/dvipage/makefonts')
-rw-r--r-- | dviware/dvipage/makefonts | 24 |
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 |