1#! /bin/sh
2# This shell script is generated by the 'configure' script.  It is invoked in a
3# subdirectory of the build tree.  It generates a sed-script in the parent
4# directory that is used to adjust includes for header files that reside in a
5# subdirectory of /usr/include, etc.
6PRG=""
7while test $# != 3
8do
9PRG="$PRG $1"; shift
10done
11DST=$1
12REF=$2
13SRC=$3
14TMPSRC=${TMPDIR-/tmp}/`basename $SRC`$$
15TMPSED=${TMPDIR-/tmp}/headers.sed$$
16echo installing $SRC in $DST
17case $DST in
18/*/include/*)
19	END=`basename $DST`
20	for i in `cat $REF/../*/headers |fgrep -v "#"`
21	do
22		NAME=`basename $i`
23		echo "s/<$NAME>/<$END\/$NAME>/" >> $TMPSED
24	done
25	;;
26*)
27	echo "" >> $TMPSED
28	;;
29esac
30rm -f $TMPSRC
31sed -f $TMPSED $SRC > $TMPSRC
32NAME=`basename $SRC`
33# Just in case someone gzip'd manpages, remove the conflicting copy.
34test -f $DST/$NAME.gz && rm -f $DST/$NAME.gz
35
36eval $PRG $TMPSRC $DST/$NAME
37rm -f $TMPSRC $TMPSED
38