Rechercher une page de manuel
noroots
Langue: en
Version: 256383 (debian - 07/07/09)
Section: 1 (Commandes utilisateur)
NAME
noroots - print roots of a noweb fileSYNOPSIS
noroots [file] ...DESCRIPTION
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.SEE ALSO
noweb(1), notangle(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.
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre