DVItoMP: DVI to MPX conversion
==============================
DVItoMP converts DVI files into low-level MetaPost commands in a
so-called MPX file. This program is generally invoked only by MakeMPX
(Note:makempx invocation). Synopsis:
dvitomp DVIFILE[.dvi] [MPXFILE[.mpx]]
If MPXFILE is not specified, the output goes to the basename of DVIFILE
extended with `.mpx', e.g., `dvitomp /wherever/foo.dvi' creates
`./foo.mpx'.
The only options are `-help' and `-version' (Note:Common options).