From 5b9a29bd75e5f9bb414c7694f2801bd787dc80f7 Mon Sep 17 00:00:00 2001
From: Francois Best <francoisbest@gmail.com>
Date: Wed, 23 May 2012 00:01:41 +0200
Subject: [PATCH] Copying installation scripts (stripping local install scripts
 though, they would make no sense once packaged).

---
 res/packaging.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/res/packaging.sh b/res/packaging.sh
index 275fe83..6429592 100644
--- a/res/packaging.sh
+++ b/res/packaging.sh
@@ -9,6 +9,8 @@ cp ../src/* temp
 
 # Copy resources
 cp keywords.txt temp
+cp install_* temp
+rm temp/install_local_*
 
 # Copy examples
 cp -r examples/* temp/examples