blob: a453db06f6ec0859abc6054e7d775479ea8439d3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#!/bin/sh
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
rm -rf coq-$VERSION/doc/common
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
|
