pooltype(1) - phpMan

POOLTYPE(1)                          General Commands Manual                          POOLTYPE(1)

NAME
       pooltype - display a WEB pool file

SYNOPSIS
       pooltype pool_file_name

DESCRIPTION
       This  manual page is not meant to be exhaustive.  The complete documentation for this ver-
       sion of TeX can be found in the info file or manual Web2C: A TeX implementation.

       The pooltype program translates a (program-oriented) Web string pool file to a (human-ori-
       ented) text file.

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

SEE ALSO
       tangle(1).

AUTHORS
       Donald E. Knuth wrote the program and originally ported it to Unix. It  was  published  as
       part of the TeXware technical report, available from the TeX Users Group.

Web2C 2022/dev                             16 June 2015                               POOLTYPE(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
2025-02-22 00:28 @18.189.14.251 CrawledBy Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)