nodefs1

Usage

Overview

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).

Version

This man page is from noweb version 2.12.