Provided by: noweb_2.11b-7.1ubuntu1_amd64 bug

NAME

       nodefs - find definitions in noweb file

SYNOPSIS

       nodefs [-auto lang] [-showauto] file ...

DESCRIPTION

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

SEE ALSO

       noweave(1), noweb(1), noindex(1)

VERSION

       This man page is from noweb version 2.11b.

AUTHOR

       Norman Ramsey, Harvard University.  Internet address nr@eecs.harvard.edu.
       Noweb home page at http://www.eecs.harvard.edu/~nr/noweb.

                                         local 3/28/2001                                 NOWEB(1)