diff options
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 |