---
name: "nodefs"
section: "1"
platform: "linux"
package: "noweb"
version: "2.13-2"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/nodefs"
---

# nodefs(1)

find definitions in noweb file

## 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)](/noweave/1.md). *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)](/noweave/1.md) and  [*noindex*(1)](/noindex/1.md), see the man page for  [*noindex*(1)](/noindex/1.md).

## SEE ALSO

[*noweave*(1)](/noweave/1.md), [*noweb*(1)](/noweb/1.md), [*noindex*(1)](/noindex/1.md)

## VERSION

This man page is from  *noweb* version 2.12.

## AUTHOR

Norman Ramsey, Tufts University. Internet address **Norman.Ramsey@tufts.edu**.\
 Noweb home page at **http://www.cs.tufts.edu/~nr/noweb**.