Scroll to navigation

MANLINT(1) Linux Programmer's Manual MANLINT(1)

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).

14 luglio 1999 Linux