Rechercher une page de manuel
dvitomp
Langue: en
Version: 253706 (debian - 07/07/09)
Section: 1 (Commandes utilisateur)
Sommaire
NAME
dvitomp - convert a TeX DVI file to a MetaPost MPXFILESYNOPSIS
dvitomp [options] 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 tex-k@mail.tug.org.Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre