SYNOPSIS
dvitomp [OPTIONS] dvifile[.dvi] [mpxfile[.mpx]]mpost --dvitomp dvifile[.dvi] [mpxfile[.mpx]]
DESCRIPTION
dvitomp translates the given dvifile to a MetaPost MPXFILE. The default mpxfile is the basename of dvifile extended with .mpx.OPTIONS
- -help
- write usage summary and exit.
- -version
- output version information and exit.