1 files changed, 26 insertions, 0 deletions
diff --git a/php-JMSParser-strip.sh b/php-JMSParser-strip.sh
new file mode 100755
index 0000000..b155801
--- /dev/null
+++ b/php-JMSParser-strip.sh
@@ -0,0 +1,26 @@
+#!/bin/bash
+
+if [ $# != 2 ]; then
+	echo "Usage: $0 VERSION GITHUB_COMMIT" 1>&2
+	exit 1
+fi
+
+VERSION=$1
+GITHUB_COMMIT=$2
+
+ORIGINAL_SOURCE_FILE="${GITHUB_COMMIT}.tar.gz"
+NEW_SOURCE_FILE="php-JMSParser-${VERSION}-${GITHUB_COMMIT}.tar.gz"
+
+if [ ! -f "$ORIGINAL_SOURCE_FILE" ]; then
+	echo "ERROR: Original source file '${ORIGINAL_SOURCE_FILE}' not found" 1>&2
+	exit 1
+fi
+
+TAR=`which tar`
+
+$TAR -xzf "$ORIGINAL_SOURCE_FILE"
+rm -rf "parser-lib-${GITHUB_COMMIT}/doc" "$NEW_SOURCE_FILE"
+$TAR -czf "$NEW_SOURCE_FILE" "parser-lib-${GITHUB_COMMIT}"
+
+echo "${NEW_SOURCE_FILE} created"
+exit 0