diff options
Diffstat (limited to 'fonts/utilities/makefonts/00previous/mk_karta')
-rwxr-xr-x | fonts/utilities/makefonts/00previous/mk_karta | 65 |
1 files changed, 65 insertions, 0 deletions
diff --git a/fonts/utilities/makefonts/00previous/mk_karta b/fonts/utilities/makefonts/00previous/mk_karta new file mode 100755 index 0000000000..01a1089695 --- /dev/null +++ b/fonts/utilities/makefonts/00previous/mk_karta @@ -0,0 +1,65 @@ +#!/bin/csh -f +# need csh because of foreach used for running gftopk + +echo "\ +This script runs metafont and gftopk to produce the \ +following fonts / family / shapes:\ +\ + *********************************************************\ + karta\ + *********************************************************\ +\ +Give metafont mode as first argument (default = localfont)\ +\ +Volker Kuhlmann\ + 8 Apr 96\ +v.kuhlmann@elec.canterbury.ac.nz\ +" + + +# CHANGELOG +# +# 8 Apr 96 (VK) +# Created. + + +if ( $#argv > 0 ) set MODE=$1 +if ( ! $?MODE ) set MODE=localfont +echo "" +echo "**********************************" +echo 'metafont mode is set to: '$MODE +echo "**********************************" +echo "" + +set MFARG='\mode='"$MODE"'; \scrollmode;' + + +# KARTA +mf "$MFARG"' \mag=magstep(0);' input karta15 # 15pt + + + +echo "" +echo "Metafont finished." +echo "" + + + +echo "Now running GFtoPK." + +# note this requires csh or tcsh +foreach file (*gf) + gftopk $file +end + +echo "GFtoPK finished." +echo "" + +echo "" +echo "To complete the font installation, do the following:" +echo " copy all .tfm-files into the tfm directory" +echo " copy all .pk-files into the pk-directory" +echo " delete all .gf files." +echo "" +echo "Have a nice day." +echo "" |