MANLINT
Section: Linux Programmer's Manual (1)
Updated: 14 luglio 1999
Index
Return to Main Contents
NOME
manlint - programma per riportare errori in pagine man o mdoc
SINTASSI
manlint [ options ] [ list of files ]
DESCRIZIONE
manlint
è un programma che identifica lint (errori) nella formattazione di pagine
man o mdoc page, in modo simile a un controllo ortografico per un testo
ordinario. Manlint ha un elenco di macro permesse e sequenze di escape,
e ripoprta l'uso di qualunque macro o sequenza di escape che non sia
nell'elenco permesso.
Questo elenco permesso include tutte le macro definite in
man(7),
mdoc(7),
e il sottoinsieme sicuro di troff definito in
man(7).
manlint inoltre verifica la conformità alle varie regole.
Se una man page passa manlint, dovrebbe essere ampiamente portabile,
anche con strumenti come
man2html(1)
che non implementano completamente troff.
Se un elenco di file è omesso, è usato lo standard input.
Un file con il nome "-" è interpretato come standard input.
BUG
Attualmente il programma è alquanto incompleto.
Esso non ha alcuna opzione, non verifica le sequanze di escape,
e non è in grado di gestire il formato mdoc.
Inoltre, è chiaro cosa deve fare, e anche nella sua forma attuale
può trovare tantissimi problemi nei file man esistenti.
AUTORE
David A. Wheeler (dwheeler@ida.org)
VEDERE ANCHE
man(7),
mdoc(7).
Index
- NOME
-
- SINTASSI
-
- DESCRIZIONE
-
- BUG
-
- AUTORE
-
- VEDERE ANCHE
-
This document was created by
man2html,
using the manual pages.
Time: 23:03:51 GMT, June 17, 2008