dvitype - phpMan

Command: man perldoc info search(apropos)  


File: web2c.info,  Node: dvitype invocation,  Prev: dvicopy invocation,  Up: DVI utilities

10.2 DVItype: Plain text transliteration of DVI files
=====================================================

DVItype translates a DeVice Independent (DVI) file (as output by TeX,
for example) to a plain text file that humans can read.  It also serves
as a DVI-validating program, i.e., if DVItype can read a file, it's
correct.  Synopsis:

     dvitype [OPTION]... DVIFILE[.dvi]

DVItype does not read any bitmap files, but it does read TFM files for
fonts referenced in DVIFILE.  The usual places are searched (*note
(kpathsea)Supported file formats::).  To see all the relevant paths, set
the environment variable 'KPATHSEA_DEBUG' to '-1' before running the
program.

   Output goes to standard output.

   The program accepts the following options, as well as the standard
'-help' and '-version' (*note Common options::):
'-dpi=REAL'
     Do pixel movement calculations at REAL pixels per inch; default
     300.0.

'-magnification=INTEGER'
     Override existing magnification in INDVI with INTEGER; 1000
     specifies no magnification.  This is equivalent to setting TeX's
     '\mag' parameter.

'-max-pages=N'
     Process N pages; default is one million.

'-output-level=N'
     Verbosity level of output, from 0 to 4 (default 4):
        * 0: Global document information only.
        * 1: Most DVI commands included, and typeset characters
          summarized.
        * 2: Character and movement commands explicitly included.
        * 3: DVI stack and current position calculations included.
        * 4: Same information as level 3, but DVItype does random
          positioning in the file, reading the DVI postamble first.

'-page-start=PAGE-SPEC'
     Start at the first page matching PAGE-SPEC, which is one or more
     (signed) integers separated by periods, corresponding to TeX's
     '\count0...9' parameters at '\shipout' time; '*' matches anything.
     Examples: '1', '5.*.-9'.

'-show-opcodes'
     Show numeric opcode values (in decimal) for DVI commands, in braces
     after the command name.  This can help in debugging DVI utilities.
     We use decimal because in the DVI format documentation (in
     'dvitype.web', among others) the opcodes are shown in decimal.

* Menu:

* dvitype output example::

File: web2c.info,  Node: dvitype output example,  Up: dvitype invocation

10.2.1 DVItype output example
-----------------------------

As an example of the output from DVItype (see section above), here is
its (abridged) translation of the 'story.dvi' resulting from running the
example in 'The TeXbook', with '-output-level=4' and '-show-opcodes' on.

     ...
     Options selected:
       Starting page = *
       Maximum number of pages = 1000000
       Output level = 4 (the works)
       Resolution = 300.00000000 pixels per inch
     numerator/denominator=25400000/473628672
     magnification=1000;       0.00006334 pixels per DVI unit
     ' TeX output 1992.05.17:0844'
     Postamble starts at byte 564.
     maxv=43725786, maxh=30785863, maxstackdepth=3, totalpages=1
     Font 33: cmsl10---loaded at size 655360 DVI units
     Font 23: cmbx10---loaded at size 655360 DVI units
     Font 0: cmr10---loaded at size 655360 DVI units

     42: beginning of page 1
     87: push {141}
     level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0)
     88: down3 -917504 {159} v:=0-917504=-917504, vv:=-58
     92: pop {142}
     ...
     104: putrule {137} height 26214, width 30785863 (2x1950 pixels)
     113: down3 5185936 {159} v:=655360+5185936=5841296, vv:=370
     117: push {141}
     level 1:(h=0,v=5841296,w=0,x=0,y=0,z=0,hh=0,vv=370)
     118: right4 12265425 {146} h:=0+12265425=12265425, hh:=777
     [ ]
     123: fntdef1 23 {243}: cmbx10
     145: fntnum23 {194} current font is cmbx10
     146: setchar65 h:=12265425+569796=12835221, hh:=813
     147: w3 251220 {150} h:=12835221+251220=13086441, hh:=829
     151: setchar83 h:=13086441+418700=13505141, hh:=856
     ...
     164: setchar82 h:=17448202+565245=18013447, hh:=1142
     165: x0 -62805 {152} h:=18013447-62805=17950642, hh:=1138
     166: setchar89 h:=17950642+569796=18520438, hh:=1174
     [A SHORT STORY]
     167: pop {142}
     level 1:(h=0,v=5841296,w=0,x=0,y=0,z=0,hh=0,vv=370)
     ...
     550: pop {142}
     level 0:(h=0,v=42152922,w=0,x=0,y=0,z=0,hh=0,vv=2670)
     551: down3 1572864 {159} v:=42152922+1572864=43725786, vv:=2770
     555: push {141}
     level 0:(h=0,v=43725786,w=0,x=0,y=0,z=0,hh=0,vv=2770)
     556: right4 15229091 {146} h:=0+15229091=15229091, hh:=965
     561: setchar49 h:=15229091+327681=15556772, hh:=986
     [ 1]
     562: pop {142}
     level 0:(h=0,v=43725786,w=0,x=0,y=0,z=0,hh=0,vv=2770)
     563: eop {140}

   Explanation:

   * The DVItype options are recorded at the beginning, followed by
     global information about the document, including fonts used.

   * Each DVI command is preceded by its byte position in the file
     ('42:', '87:', ...), and (because of the '-show-opcodes') followed
     by its decimal opcode value in braces ('{141}', '{142}', ...).

   * The 'level' lines record information about the DVI stack; 'h' and
     'v' define the current position in DVI units, while 'hh' and 'vv'
     are the same in pixels.

   * Text sequences are summarized in brackets, as in '[A SHORT STORY]'
     and the '[ 1]'.


Generated by $Id: phpMan.php,v 4.55 2007/09/05 04:42:51 chedong Exp $ Author: Che Dong
On Apache
Under GNU General Public License
2024-10-12 19:13 @3.239.3.196 CrawledBy CCBot/2.0 (https://commoncrawl.org/faq/)
Valid XHTML 1.0!Valid CSS!