From 7a4e2d8578a2f6567d3827491e65d75ef9ab703b Mon Sep 17 00:00:00 2001
From: Michal Vaner <vorner@ucw.cz>
Date: Sun, 20 Jul 2008 22:47:10 +0200
Subject: [PATCH] Rewrite #include "..." to #include <...> when installing.

---
 build/install-includes | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/install-includes b/build/install-includes
index 1737b46a..f403fd37 100755
--- a/build/install-includes
+++ b/build/install-includes
@@ -10,7 +10,7 @@ while [ -n "$1" ] ; do
 	if [ ! -f "$DEST/$1" -o "$SRC/$1" -nt "$DEST/$1" ] ; then
 		echo "INC $SRC/$1 -> $DEST/$1"
 		mkdir -p $DEST/`dirname $1`
-		cp $SRC/$1 $DEST/$1
+		sed -e 's/^\(#include[	 ]*\)"\(.*\)"/\1<\2>/' <$SRC/$1 >$DEST/$1
 	fi
 	shift
 done
-- 
2.39.2