erlang
Tuesday, November 27th, 2007For some reason, the Gentoo install of erlang put the man pages into man sections that ended in “erl”. For example, instead a directory named man3 for the 3rd man page section, it’s man3erl.
I wrote a quick alias erlman that only searches these erlang man page sections.
~/.bashrc
alias erlman="man -S 1erl:3erl:4erl:6erl"