On Apache
Under GNU General Public License
2024-11-21 06:29 @3.15.239.50 CrawledBy Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)
File: web2c.info, Node: dvitomp invocation, Prev: Initial MetaPost, Up: MetaPost
6.3 DVItoMP: DVI to MPX conversion
==================================
DVItoMP converts DVI files into low-level MetaPost commands in a
so-called MPX file. Synopsis:
dvitomp DVIFILE[.dvi] [MPXFILE[.mpx]]
If MPXFILE is not specified, the output goes to the basename of DVIFILE
extended with `.mpx', e.g., `dvitomp /wherever/foo.dvi' creates
`./foo.mpx'.
DVItoMP supports Dvips-style color specials, such as `color push
NAME' and `color pop', outputting them as `withcolor' MetaPost commands.
The only options are `-help' and `-version' (*note Common options::).
Generated by $Id: phpMan.php,v 4.55 2007/09/05 04:42:51 chedong Exp $ Author: Che Dong
On Apache
Under GNU General Public License
2024-11-21 06:29 @3.15.239.50 CrawledBy Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)