pooltype1
Display a web pool file
Usage
pooltype pool_file
Overview
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.
Releases
19 releases since Debian 1.1 (Buzz); the text changed 15 times.