diff --git a/tools/setup b/tools/setup
index b825a6b2b1268a49745764ec356f59aee4978b5d..bbc82669285deeaf7164784e7fa44593bd608672 100755 (executable)
--- a/tools/setup
+++ b/tools/setup
if [ -f debian/rules ] ; then
chmod +x debian/rules
fi
+
+cd doc && make