diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/setup | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/setup b/tools/setup index b825a6b2..bbc82669 100755 --- a/tools/setup +++ b/tools/setup | |||
@@ -8,3 +8,5 @@ automake --add-missing --copy | |||
8 | if [ -f debian/rules ] ; then | 8 | if [ -f debian/rules ] ; then |
9 | chmod +x debian/rules | 9 | chmod +x debian/rules |
10 | fi | 10 | fi |
11 | |||
12 | cd doc && make | ||