dvitomp(1) - man - phpman

Look up a command

 

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