diff options
| -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 |