Markdown Format | JSON API | MCP Server Tool | Cheat Sheet
DVITOMP(1) General Commands Manual DVITOMP(1) NAME dvitomp - convert a TeX DVI file to a MetaPost MPXFILE 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 base‐ name of dvifile extended with .mpx. OPTIONS -help write usage summary and exit. -version output version information and exit. BUGS Email bug reports to metapost AT tug.org. Web2C 2022/dev 16 June 2015 DVITOMP(1)
Generated by phpMan Author: Che Dong Under GNU General Public License
2026-06-02 14:29 @216.73.216.151 CrawledBy Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)