dvitomp - convert a TeX DVI file to a MetaPost MPXFILE
dvitomp [options] dvifile[.dvi] [mpxfile[.mpx]]
mpost --dvitomp dvifile[.dvi] [mpxfile[.mpx]]
dvitomp translates the given dvifile to a MetaPost MPXFILE. The
default mpxfile is the basename of dvifile extended with ".mpx".
-help write usage summary and exit.
-version
output version information and exit.
Email bug reports to metapost@tug.org.