Rechercher une page de manuel
dvi2ppm
Langue: en
Version: 260786 (debian - 07/07/09)
Section: 1 (Commandes utilisateur)
NAME
dvi2ppm - a converter from a TeX DVI file to image file(s) in PPM format.SYNOPSIS
dvi2ppm [OPTIONS] [FILE...]DESCRIPTION
dvi2ppm is a converter from a DVI file to image file(s) in PPM format. dvi2ppm uses DVIlib as an intenal DVI bytecode interpreter and VFlib as an intenal font module.
OPTIONS
See the man page of dvi2misc. dvi2ppm is the same as dvi2misc with -dvi2ppm option. For dvi2ppm specific options, invoke dvi2ppm with --help option.SEE ALSO
dvi2misc(1), vflib(1), dvilib(1)COPYRIGHT
Copyright © 2007 Hirotsugu KakugawaContenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre