Rechercher une page de manuel

Chercher une autre page de manuel:

nodefs

Langue: en

Version: 255796 (debian - 07/07/09)

Section: 1 (Commandes utilisateur)

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.
Cette petite mémoire de 30 à 100 Euros n'est pas plus gande
qu'une simple clef et tient tout à fait dans le creu
de votre main ! Je viens d'en acheter une, de la formatter
et d'y mettre mon MultiDeskOS, comprenant MultiDeskOS lui-même,
Antibug, LookOut et tout le reste ! Je l'ai lancé de là et
ca a fonctionné tout de suite !
-- Jayce - \o/ --