diff options
Diffstat (limited to '.buildbot')
-rwxr-xr-x | .buildbot/install.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.buildbot/install.sh b/.buildbot/install.sh index b22f3aae0..8ddd77ec0 100755 --- a/.buildbot/install.sh +++ b/.buildbot/install.sh | |||
@@ -1,3 +1,5 @@ | |||
1 | #!/bin/bash | 1 | #!/bin/bash |
2 | 2 | ||
3 | cd doc/tutorial; make tutorial.html &> /dev/null; cd - | ||
4 | cd doc/doxygen; make full &> /dev/null; cd - | ||
3 | make install | 5 | make install |