Rechercher une page de manuel
dvitomp
Langue: en
Version: 331412 (ubuntu - 24/10/10)
Section: 1 (Commandes utilisateur)
Sommaire
NAME
dvitomp - convert a TeX DVI file to a MetaPost MPXFILESYNOPSIS
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@tug.org.Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre