diff options
author | Karl Berry <karl@freefriends.org> | 2006-01-09 00:47:01 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-01-09 00:47:01 +0000 |
commit | 950209b26f70aa87ed07c54f82a95b6f03b7c3a0 (patch) | |
tree | 32b2d4ab4e36aee3a9aaf41877a5c0c581de9b77 /Master/texmf-dist/doc/fonts/levy/makefont | |
parent | 71c5ce4be7e36bdc6bdda98641bc9368e28223ad (diff) |
doc/fonts
git-svn-id: svn://tug.org/texlive/trunk@83 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/fonts/levy/makefont')
-rw-r--r-- | Master/texmf-dist/doc/fonts/levy/makefont | 18 |
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 |