| makempx script, not at all perfect
| Usage: makempx input output
mpto -tex %0 > mpxtmp/tex
tex mpxtmp/tex < null: > null:
dvitomp mpxtmp/dvi %1
