Siegfried Heintze wrote:
There's no need. When you do 'man whatever', you can hit '/', type a search
term, and hit enter. To search that same term again, '/' then enter will do.
This works on my Gentoo Linux box.
Skyline Aeronautics, LLC.