#! /bin/sh prefix=/usr exec_prefix=${prefix} usage() { cat <