#! /bin/sh prefix=/u/ma/hohn/bin/sparc/usr/local exec_prefix=${prefix} exec_prefix_set=no includedir=${prefix}/include usage() { cat <