From 96be0721627f5c01b81616239cdb566bd33300dd Mon Sep 17 00:00:00 2001 From: Adam Dickmeiss Date: Wed, 27 May 2015 10:42:06 +0200 Subject: [PATCH] Make documentation part of dist --- mkdist.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/mkdist.sh b/mkdist.sh index fbcf90a..bdd66b6 100755 --- a/mkdist.sh +++ b/mkdist.sh @@ -5,9 +5,12 @@ git log >ChangeLog git archive --format=tar --prefix=$NAME-$VERSION/ HEAD > $NAME-$VERSION.tar tar xf $NAME-$VERSION.tar cp ChangeLog $NAME-$VERSION +cp -r doc/common $NAME-$VERSION/doc cd $NAME-$VERSION rm -fr debian -cd .. +cd doc +make +cd ../.. tar cfz $NAME-$VERSION.tar.gz $NAME-$VERSION rm $NAME-$VERSION.tar rm -r $NAME-$VERSION -- 1.7.10.4