From: Adam Dickmeiss <adam@indexdata.dk>
Date: Wed, 27 May 2015 08:42:06 +0000 (+0200)
Subject: Make documentation part of dist
X-Git-Tag: v0.4~7
X-Git-Url: http://git.indexdata.com/?p=mp-xquery-moved-to-github.git;a=commitdiff_plain;h=96be0721627f5c01b81616239cdb566bd33300dd;hp=ef8908147a9de5b5a4514d8e93e339ea9b8b605b

Make documentation part of dist
---

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