#! /bin/sh BINDIR=$1 DATADIR=$2 MANDIR=$3 cat <