DVITOMP(1) General Commands Manual DVITOMP(1)
dvitomp â convert a TeX DVI file to a MetaPost MPXFILE
| Use Case | Command | Description |
|---|---|---|
| Convert DVI to MPX | dvitomp input.dvi | đ Converts a TeX DVI file to a MetaPost MPXFILE |
| Specify output file | dvitomp input.dvi output.mpx | đ Specifies the output MPX file |
| Using mpost wrapper | mpost --dvitomp input.dvi | đ Equivalent conversion using the mpost command |
| Show help | dvitomp -help | â Display usage summary and exit |
| Show version | dvitomp -version | âšī¸ Output version information and exit |
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.
Write usage summary and exit.
Output version information and exit.
Email bug reports to metapost AT tug.org.
Web2C 2022/dev 16 June 2015 DVITOMP(1)
Generated by phpman v4.10.0-7-g98e9fd5 · Markdown · JSON · MCP Author: Che Dong Under GNU General Public License
2026-09-03 19:20 @216.73.217.153
CrawledBy Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)