blob: 11aac7ef7995b4e78fa454bed0c74fec7a014425 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
MANLINT(1) Linux Programmer's Manual MANLINT(1)
NOME
manlint - programma per identificare errori di formattazione in pagine man o mdoc
SINTASSI
manlint [ options ] [ list of files ]
DESCRIZIONE
manlint `e un programma che identifica lint (errori) nella formattazione di pagine man o
mdoc page, in modo simile a quello di un controllo ortografico per un testo ordinario.
Manlint ha un elenco di macro e sequenze di escape ammesse, e segnala l'uso di qualunque
macro o sequenza di escape che non sia nell'elenco di riferimento. Questo elenco di
riferimento include tutte le macro definite in man(7), mdoc(7), e un sottoinsieme sicuro
di troff definito in man(7). manlint inoltre verifica la conformit`a alle varie regole.
Se una man page supera la verifica di manlint, dovrebbe risultare ampiamente portabile,
anche con strumenti come man2html(1) che non implementano completamente troff.
Se non viene indicato un elenco di file, viene letto lo standard input. Un file con il
nome "-" viene interpretato come standard input.
BUG
Attualmente il programma `e alquanto incompleto. Non ha nessuna opzione, non verifica le
sequenze di escape, e non `e in grado di gestire il formato mdoc. Inoltre, `e chiaro cosa
deve fare, e anche nella sua forma attuale pu`o trovare tantissimi problemi nei file man
esistenti.
AUTORE
David A. Wheeler (dwheeler@ida.org)
VEDERE ANCHE
man(7), mdoc(7).
Linux 14 luglio 1999 MANLINT(1)
|