From: Adam Dickmeiss <adam@indexdata.dk>
Date: Wed, 27 May 2015 08:42:52 +0000 (+0200)
Subject: Make documentation part of dist
X-Git-Tag: v0.6~4^2
X-Git-Url: http://git.indexdata.com/?p=mp-sparql-moved-to-github.git;a=commitdiff_plain;h=22843023797414fd23a983c2befebee9bcf12071

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