Lines Matching full:man

40 # We install the man pages ourselves until installman gets smarter
41 man1dir='/usr/share/man/man1'
42 man1direxp='/usr/share/man/man1'
43 installman1dir='/usr/share/man/man1'
45 man3dir='/usr/share/man/man3p'
46 man3direxp='/usr/share/man/man3p'
47 installman3dir='/usr/share/man/man3p'
49 siteman1dir='/usr/local/man/man1'
50 siteman1direxp='/usr/local/man/man1'
51 installsiteman1dir='/usr/local/man/man1'
52 siteman3dir='/usr/local/man/man3p'
53 siteman3direxp='/usr/local/man/man3p'
54 installsiteman3dir='/usr/local/man/man3p'