#!/bin/sh

# we need this to have the right MANPATH set
. /etc/profile

exec nice makewhatis