| MANLINT(1) | Linux Programmer's Manual | MANLINT(1) |
manlint - programma per riportare errori in pagine man o mdoc
manlint [ options ] [ list of files ]
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.
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.
David A. Wheeler (dwheeler@ida.org)
| 14 luglio 1999 | Linux |