1 2 3 4 5 6
#!/bin/sh # we need this to have the right MANPATH set . /etc/profile exec nice makewhatis