mirror of
https://github.com/webmin/webmin.git
synced 2025-08-01 15:36:00 +00:00
6 lines
166 B
Plaintext
6 lines
166 B
Plaintext
search_cmd=man -k PAGE
|
|
man_dir=/usr/share/catman/a_man /usr/share/catman/u_man /usr/share/catman/p_man
|
|
man_cmd_sect=man SECTION PAGE
|
|
man_cmd=man PAGE
|
|
strip_letters=1
|