# REALRMAN=/usr/local/bin/rman.real VOLLISTFILE=/etc/default/man VOLLIST=`grep '^ORDER' $VOLLISTFILE | cut -f2 -d=` exec $REALRMAN -V "=$VOLLIST" $*