diff options
author | Norbert Preining <norbert@preining.info> | 2020-11-25 03:00:39 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-11-25 03:00:39 +0000 |
commit | 224d125bf0d14ba177ef8a181907a713484afa2f (patch) | |
tree | c7be3cf437ba902f6fd09520a329e373ed956ede /systems/unix/tex-fpc/mp/mpx | |
parent | 55c6d66f61a96ba63cd8c141229843ad2ab42632 (diff) |
CTAN sync 202011250300
Diffstat (limited to 'systems/unix/tex-fpc/mp/mpx')
-rwxr-xr-x | systems/unix/tex-fpc/mp/mpx | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/systems/unix/tex-fpc/mp/mpx b/systems/unix/tex-fpc/mp/mpx new file mode 100755 index 0000000000..d8a6ea4cf8 --- /dev/null +++ b/systems/unix/tex-fpc/mp/mpx @@ -0,0 +1,10 @@ +# process .mp files that include TeX programs. +case $# in +1) f=`basename $1 .mp`;; +*) echo Usage: $0 mp-file; exit 1;; +esac +mptotex $f.mp \ +| tex \ +&& dvitomp texput.dvi $f.mpx \ +&& mp $f.mp \ +|| echo $0 failed!; exit 1 |