diff options
Diffstat (limited to 'Master/texmf-dist/doc/fonts/levy/makeall')
-rw-r--r-- | Master/texmf-dist/doc/fonts/levy/makeall | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/fonts/levy/makeall b/Master/texmf-dist/doc/fonts/levy/makeall new file mode 100644 index 00000000000..c12e1612418 --- /dev/null +++ b/Master/texmf-dist/doc/fonts/levy/makeall @@ -0,0 +1,20 @@ +#!/bin/sh +# In this script "$@" stands for the set of arguments passed to the +# script, as expanded by the UNIX shell; these arguments are passed, +# without further expansion, to `makefont'. For examply, typing +# +# makeall boo +# +# to the UNIX shell has the same effect as typing +# +# makefont grreg10 boo +# makefont grreg8 boo +# makefont grbld10 boo +# makefont grtt10 boo +# +# + +makefont grreg10 "$@" +makefont grreg8 "$@" +makefont grbld10 "$@" +makefont grtt10 "$@" |