dvitomp - phpMan

Command: man perldoc info search(apropos)  

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

   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
2020-10-21 09:23 @ CrawledBy CCBot/2.0 (https://commoncrawl.org/faq/)
Valid XHTML 1.0!Valid CSS!