summaryrefslogtreecommitdiff
path: root/fonts/utilities/makefonts/00previous/mk_karta
diff options
context:
space:
mode:
Diffstat (limited to 'fonts/utilities/makefonts/00previous/mk_karta')
-rwxr-xr-xfonts/utilities/makefonts/00previous/mk_karta65
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 ""