Add gitignore
[mp-xquery-moved-to-github.git] / mkdist.sh
1 #!/bin/sh
2 . ./IDMETA
3 set -x
4 git log >ChangeLog
5 git archive --format=tar --prefix=$NAME-$VERSION/ HEAD > $NAME-$VERSION.tar
6 tar xf $NAME-$VERSION.tar
7 cp ChangeLog $NAME-$VERSION
8 cp -r doc/common $NAME-$VERSION/doc
9 cd $NAME-$VERSION
10 rm -fr debian
11 cd doc
12 make
13 cd ../..
14 tar cfz $NAME-$VERSION.tar.gz $NAME-$VERSION
15 rm $NAME-$VERSION.tar
16 rm -r $NAME-$VERSION
17 exit 0
18
19