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.