Make documentation part of dist
authorAdam Dickmeiss <adam@indexdata.dk>
Wed, 27 May 2015 08:42:52 +0000 (10:42 +0200)
committerAdam Dickmeiss <adam@indexdata.dk>
Wed, 27 May 2015 08:42:52 +0000 (10:42 +0200)
mkdist.sh

index fbcf90a..bdd66b6 100755 (executable)
--- 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