web2c: pooltype invocation
9.3 Pooltype: Display WEB pool files
====================================
Pooltype shows the so-called "string number" of each string in a WEB
DONTPRINTYET pool file (⇒WEB), as output by Tangle (*notetangle
DONTPRINTYET pool file (⇒WEB), as output by Tangle (⇒tangle
invocation), including the first 256 strings corresponding to the
possible input characters. Pooltype primarily serves as an example of
WEB conventions to implementors of the TeX system. Synopsis:
pooltype [OPTION]... POOLFILE[.pool]
No path searching is done for POOLFILE. Output is to standard output.
The only options are '--help' and '--version' (⇒Common
options).
As an example of the output, here is the (edited) output for
'tex.pool':
0: "^^@"
1: "^^A"
...
255: "^^ff"
256: "pool size"
...
1314: "Using character substitution: "
(23617 characters in all.)
In Metafont and MetaPost, the first 256 characters are actually
represented as single bytes (i.e., themselves), not in the '^^'
notation. Consider Pooltype as showing the results after conversion for
output.