*nohtml*

local/bin/man-menu

   1 #!/bin/bash
   2 
   3 man -k . | menu -i man | cut -d ' ' -f 1 | xargs -r start -- man