debian man page for nodefs

Query: nodefs

OS: debian

Section: 1

Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar

NOWEB(1)						      General Commands Manual							  NOWEB(1)

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 iden- tifier 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)
Related Man Pages
htmltoc(1) - debian
noindex(1) - debian
noroff(1) - debian
notangle(1) - debian
fc-validate(1) - centos
Similar Topics in the Unix Linux Community
Problem with output file plink GWAS
EdX - Founded by Harvard University and MIT in 2012