DVItoDPL - convert DVI files into DVI Property List files
dvitodpl [in.dvi [out.dpl]]
DVItoDPL converts the binary format DVI files into human-readable DPL
(DVI Property List) files. DPL files are similar to PL and VPL files, but
describe the whole DVI format.
If no input files are specified on the command line, the input is read
from the standard input. Similarly, if no output files are specified, the
output is written to the standard output.
dvitodpl in.dvi out.dpl
Last modified on 12th February 2004 by email@example.com