headers.sh

#! /bin/sh
# This shell script is generated by the 'configure' script.  It is invoked in a
# subdirectory of the build tree.  It generates a sed-script in the parent
# directory that is used to adjust includes for header files that reside in a
# subdirectory of /usr/include, etc.
PRG=""
while test $# != 3
do
PRG="$PRG $1"; shift
done
DST=$1
REF=$2
SRC=$3
TMPSRC=${TMPDIR:-/tmp}/`basename $SRC`$$
TMPSED=${TMPDIR:-/tmp}/headers.sed$$
echo installing $SRC in $DST
case $DST in
(/*/include/*)
	END=`basename $DST`
	for i in `cat $REF/../*/headers |grep -F -v "#"`
	do
		NAME=`basename $i`
		echo "s/<$NAME>/<$END\/$NAME>/" >> $TMPSED
	done
	;;
(*)
	echo "" >> $TMPSED
	;;
esac
rm -f $TMPSRC
sed -f $TMPSED $SRC > $TMPSRC
NAME=`basename $SRC`
# Just in case someone gzip'd manpages, remove the conflicting copy.
test -f $DST/$NAME.gz && rm -f $DST/$NAME.gz

eval $PRG $TMPSRC $DST/$NAME
rm -f $TMPSRC $TMPSED