manpagez: man pages & more
man pooltype(1)
Home | html | info | man
pooltype(1)                 General Commands Manual                pooltype(1)


NAME

       pooltype - display a WEB pool file


SYNOPSIS

       pooltype pool_file


DESCRIPTION

       The pooltype program translates a (program-oriented) string pool file
       from a WEB (.web) literate program to a (human-oriented) text file.
       Such string pool files are written by tangle(1) when the WEB source
       uses the double-quoted string feature, as tex(1) and mf(1) do.

       The pool_file name must be complete; no adding of default extensions or
       path searching is done.


OPTIONS

       See tex(1) for details of command-line parsing.

       The standard -help and -version options are also supported.


BUGS

       Finding the correct pool file for a given binary turned out to be a
       rather unreliable operation. In 2008, Taco Hoekwater and others changed
       all the engines to compile the strings in the binary as part of the
       compilation. So nowadays there are no pool files on which to run
       pooltype, apart from the compilation build directory.


SEE ALSO

       tangle(1).

       Package page on CTAN: https://ctan.org/pkg/pooltype
       Section in the Web2c manual:
       https://tug.org/texinfohtml/web2c.html#pooltype-invocation
       Typeset source code, including the string pool file format description:
       https://ctan.org/pkg/knuth-pdf


AUTHORS

       Donald E. Knuth wrote the program and originally ported it to Unix. It
       was published as part of the TeXware technical report from Stanford.

       Public discussion list and bug reports: https://lists.tug.org/tex-k

Web2C 2026                      22 January 2026                    pooltype(1)

texlive-bin 2026.78235 - Generated Thu Mar 5 16:04:57 CST 2026
© manpagez.com 2000-2026
Individual documents may contain additional copyright information.