Don't criple git repository.

diff --git a/rocci-server/gen-rocci-server.sh b/rocci-server/gen-rocci-server.sh
index 2d685e1..6ffd1e3 100755 (executable)
--- a/rocci-server/gen-rocci-server.sh
+++ b/rocci-server/gen-rocci-server.sh
@@ -31,9 +31,7 @@ p_name="rocci-server"
 if [ -n "$tag" ]; then
        git checkout "$tag"
 fi
-
-rm -rf .git .gitignore
-tar -cf - ../rOCCI-server | gzip --best > ../${p_name}_$ver.orig.tar.gz
+tar -cf - --exclude .gitignore --exclude .git ../rOCCI-server | gzip --best > ../${p_name}_$ver.orig.tar.gz
 
 cp -rp ../debian .
 cat <<EOF > debian/changelog