man > dvitomp(1)

DVITOMP(1)                     General Commands Manual                     DVITOMP(1)

📖 NAME

dvitomp – convert a TeX DVI file to a MetaPost MPXFILE

🚀 Quick Reference

Use CaseCommandDescription
Convert DVI to MPXdvitomp input.dvi📄 Converts a TeX DVI file to a MetaPost MPXFILE
Specify output filedvitomp input.dvi output.mpx📂 Specifies the output MPX file
Using mpost wrappermpost --dvitomp input.dvi🔄 Equivalent conversion using the mpost command
Show helpdvitomp -help❓ Display usage summary and exit
Show versiondvitomp -versionâ„šī¸ Output version information and exit

📋 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.

🐛 BUGS

Email bug reports to metapost AT tug.org.

Web2C 2022/dev                     16 June 2015                     DVITOMP(1)

dvitomp(1)
📖 NAME 🚀 Quick Reference 📋 SYNOPSIS 📖 DESCRIPTION âš™ī¸ OPTIONS
🆘 -help â„šī¸ -version
🐛 BUGS

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)
Valid XHTML 1.0 Transitional!Valid CSS!