| NOWEB(1) | General Commands Manual | NOWEB(1) |
noroots - print roots of a noweb file
noroots [file] ...
noroots finds the roots of a noweb file: it prints the names of all code chunks that are defined but not used. See noweb(1) for an explanation of the format of noweb files.
This man page is from noweb version 2.12.
Norman Ramsey, Tufts University. Internet address
Norman.Ramsey@tufts.edu.
Noweb home page at http://www.cs.tufts.edu/~nr/noweb.
| local 10/40/2008 |