diff options
| author |  Benjamin Barenblat <bbaren@debian.org> | 2018-12-29 14:30:26 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@debian.org> | 2018-12-29 14:30:26 -0500 |
| commit | d7d80c5bea564b7cb0eadc33e9ee38c9d9de1cd8 (patch) | |
| tree | 898be92436f5fcb20a2eea78fab18aa6f8f60707 /debian/purify_tarball | |
| parent | 5a38d3c4d185cd2248b483de3f64228d5f948d2d (diff) | |
Update and firm up excluded files list
Coq has introduced many new files in the last couple of years,
including several that are not DFSG-free. Rebuild and document the list
of files to be excluded from git-buildpackage imports.
Additionally, delete the purify_tarball script, as it’s been replaced
with the import filter.
Diffstat (limited to 'debian/purify_tarball')
| -rwxr-xr-x | debian/purify_tarball | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/debian/purify_tarball b/debian/purify_tarball deleted file mode 100755 index f1d79961..00000000 --- a/debian/purify_tarball +++ /dev/null @@ -1,30 +0,0 @@ -#!/bin/bash - -set -e - -CURDIR=`pwd` -ORIG=$1 -WORKDIR=`dirname $ORIG` -ORIGFILE=`basename $ORIG` -VERSION=`echo "$ORIGFILE" | sed "s/^coq-\([0-9\.a-z-]\+\)\.tar\.gz$/\1/"` - -cd $WORKDIR - -tar zxf $ORIGFILE - -mv coq-$VERSION/doc/common/styles/html/simple/{style.css,header.html,footer.html} coq-$VERSION -rm -rf coq-$VERSION/doc/common -mkdir -p coq-$VERSION/doc/common/styles/html/simple -mv coq-$VERSION/{style.css,header.html,footer.html} coq-$VERSION/doc/common/styles/html/simple -rm -rf coq-$VERSION/doc/faq -rm -rf coq-$VERSION/doc/RecTutorial -rm -rf coq-$VERSION/doc/refman -rm -rf coq-$VERSION/doc/rt -rm -rf coq-$VERSION/doc/tools -rm -rf coq-$VERSION/doc/tutorial -find coq-$VERSION -name '*~' -delete - -tar zcf coq_$VERSION+dfsg.orig.tar.gz coq-$VERSION/ -rm -rf coq-$VERSION - -cd $CURDIR |