mirror of
https://github.com/webmin/webmin.git
synced 2025-07-20 16:48:46 +00:00
12 lines
347 B
Plaintext
12 lines
347 B
Plaintext
search_cmd=man -k PAGE
|
|
man_dir=/usr/share/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/packages
|
|
howto_dir=/usr/share/doc/howto/en /usr/share/doc/howto/en/mini
|
|
kernel_dir=/usr/src/linux/Documentation
|
|
kde_dir=/opt/kde2/share/doc/HTML/default
|