dvitomp(1) - phpMan

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
       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)

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
2025-11-16 11:32 @18.97.14.86 CrawledBy CCBot/2.0 (https://commoncrawl.org/faq/)