[Pkg-ocaml-maint-commits] [menhir] 01/05: drop filtering of upstream tarball

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository menhir.

commit 674903e1cfb1d032e13519e1b169526b3f67bc0b
Author: Ralf Treinen <treinen at irif.fr>
Date:   Wed Jul 12 11:51:49 2017 +0200

    drop filtering of upstream tarball
---
 debian/gbp.conf       |  4 ----
 debian/purify_tarball | 17 -----------------
 2 files changed, 21 deletions(-)

diff --git a/debian/gbp.conf b/debian/gbp.conf
index 8766879..cec628c 100644
--- a/debian/gbp.conf
+++ b/debian/gbp.conf
@@ -1,6 +1,2 @@
 [DEFAULT]
 pristine-tar = True
-filter-pristine-tar = True
-filter = [
-    "manual.pdf"
-    ]
diff --git a/debian/purify_tarball b/debian/purify_tarball
deleted file mode 100755
index 58cab9e..0000000
--- a/debian/purify_tarball
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/bin/sh
-
-set -e
-
-ORIG=$1
-WORKDIR=`dirname $ORIG`
-ORIGFILE=`basename $ORIG`
-VERSION=`echo "$ORIGFILE" | sed "s/^menhir-\([0-9\.]\+\)\.tar\.gz$/\1/"`
-
-cd $WORKDIR
-
-tar zxf $ORIGFILE
-
-rm -rf menhir-$VERSION/manual.pdf
-
-tar zcf menhir_$VERSION+dfsg.orig.tar.gz menhir-$VERSION/
-rm -rf menhir-$VERSION

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/menhir.git