diff options
Diffstat (limited to 'Master/bin/x86_64-linux/mkofm')
| -rwxr-xr-x | Master/bin/x86_64-linux/mkofm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/x86_64-linux/mkofm b/Master/bin/x86_64-linux/mkofm index ef820171f08..306575cfbe7 100755 --- a/Master/bin/x86_64-linux/mkofm +++ b/Master/bin/x86_64-linux/mkofm @@ -1,3 +1,3 @@ #!/bin/sh # Initial definition. For the moment only makes .tfm files. -mktextfm $* +mktextfm "$@" |