On Apache
Under GNU General Public License
2024-04-25 13:44 @18.117.183.172 CrawledBy Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)
File: web2c.info, Node: dvitype invocation, Prev: dvicopy invocation, Up: DVI utilities
9.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
Supported file formats: (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
9.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-04-25 13:44 @18.117.183.172 CrawledBy Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)