summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/fonts/levy/makefont
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/fonts/levy/makefont')
-rw-r--r--Master/texmf-dist/doc/fonts/levy/makefont18
1 files changed, 18 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/fonts/levy/makefont b/Master/texmf-dist/doc/fonts/levy/makefont
new file mode 100644
index 00000000000..d071359689e
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/levy/makefont
@@ -0,0 +1,18 @@
+#!/bin/sh
+# In this script $# stands for the number of arguments, not including the
+# command name. $0 is the command name, $1 the first argument, and so
+# on. For instance, typing
+#
+# makefont grreg10 alw 1
+#
+# to the UNIX shell gives the same result as typing
+#
+# cmmf '\mode:=alw;mag:=magstep(1);batchmode;input grreg10'
+#
+
+case $# in
+0) echo $0 source [ mode [ mag ]];;
+1) cmmf '\mode:=localmode;batchmode;input '$1;;
+2) cmmf '\mode:='$2';batchmode;input '$1;;
+3) cmmf '\mode:='$2';mag:=magstep('$3');batchmode;input '$1;;
+esac