diff --git a/headers.sh b/headers.sh
new file mode 100755
index 0000000..a612e56
--- /dev/null
+++ b/headers.sh
@@ -0,0 +1,37 @@
+#! /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