2 man_dir=/usr/man:/usr/share/man:/usr/local/man:/usr/local/share/man
3 man_cmd_sect=man SECTION PAGE
5 list_cmd_sect=man -w SECTION PAGE
8 doc_dir=/usr/share/doc /usr/doc
9 kernel_dir=/usr/src/linux/Documentation
10 kde_dir=/usr/share/doc/HTML/default
11 howto_dir=/usr/share/doc/HOWTO /usr/share/doc/HOWTO/mini