search_cmd=man -k PAGE
man_dir=/usr/man
man_cmd_sect=man SECTION PAGE
man_cmd=man PAGE
list_cmd_sect=man -w SECTION PAGE
list_cmd=man -w PAGE
man2html_path=man2html
doc_dir=/usr/share/doc /usr/doc
kernel_dir=/usr/src/linux/Documentation
kde_dir=/usr/share/doc/HTML/default
howto_dir=/usr/share/doc/HOWTO /usr/share/doc/HOWTO/mini
