#!/bin/sh prefix=/home/ed exec_prefix=${prefix} exec_prefix_set=no usage() { cat <