Miscellany

:>functions.txtecho -n "Scanning section 2\/3\/9: "for mandirs in `grep ^MANPATH /etc/man.config |grep -v MANPATH_MAP|awk '{print $2}'`do        for mypath in `find ${mandirs} -type d -name *man[239]`        do                for myman in ${mypath}/*\.gz                do                        echo "--[ ${myman} ]"                        zgrep -i ^.BI ${myman} | sed 's/\.BI //' >>functions.txt                done        donedoneecho "done."