Debian 7.3.0

GNU/Linux	Debian 7.3.0 (Wheezy)
	dvitomp(1)

DVITOMP

NAME

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.

dvitomp(1)