Make documentation part of dist

diff --git a/mkdist.sh b/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
 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 $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
 tar cfz $NAME-$VERSION.tar.gz $NAME-$VERSION
 rm $NAME-$VERSION.tar
 rm -r $NAME-$VERSION