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 © 2007 Hirotsugu Kakugawa