nodefs(1) 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 protected].
Noweb home page at