From: Adam Dickmeiss <adam@indexdata.dk>
Date: Wed, 27 May 2015 08:55:26 +0000 (+0000)
Subject: Merge branch 'master' of ssh://git.indexdata.com/home/git/pub/mp-sparql
X-Git-Tag: v0.6~4
X-Git-Url: http://git.indexdata.com/?a=commitdiff_plain;h=efd54375eddf0c86bffd64d70d0fa309cfc9f312;hp=40b0abbb2bae882c8ccd0b0763651fcedf830365;p=mp-sparql-moved-to-github.git

Merge branch 'master' of ssh://git.indexdata.com/home/git/pub/mp-sparql
---

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