Provided by: noweb_2.11b-7ubuntu1_amd64
nodefs - find definitions in noweb file
nodefs [-auto lang] [-showauto] file ...
nodefs is an auxiliary tool that produces output for use with the -indexfrom option of noweave(1). nodefs searches a noweb file for identifier definitions, printing the identifiers on standard output, one per line. If the -auto lang option is given, nodefs tries to discover definitions automatically, assuming the program is written in language lang. The -showauto option displays permissible values of lang, which vary but may include tex or icon. For a complete description of using nodefs together with noweave(1) and noindex(1), see the man page for noindex(1).
This man page is from noweb version 2.11b.
Norman Ramsey, Harvard University. Internet address email@example.com. Noweb home page at http://www.eecs.harvard.edu/~nr/noweb. local 3/28/2001 NOWEB(1)