mirror of
https://github.com/webmin/webmin.git
synced 2025-07-20 16:48:46 +00:00
6 lines
134 B
Plaintext
6 lines
134 B
Plaintext
search_cmd=man -k PAGE
|
|
man_dir=/usr/share/man/ /opt/man /usr/local/man
|
|
man_cmd_sect=man SECTION PAGE
|
|
man_cmd=man PAGE
|
|
strip_letters=1
|