summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Schanzenbach <mschanzenbach@posteo.de>2021-03-22 20:28:33 +0100
committerMartin Schanzenbach <mschanzenbach@posteo.de>2021-03-22 20:28:33 +0100
commitd50fd56eea757bb67602b67a441d52989cbcde07 (patch)
tree483f762ac3cc3b9aef7aac5f6594b70f6794910a
parenta42d7df64e18705cef7cd04ac36fd7dbace80268 (diff)
-add doxygen in install step
-rwxr-xr-x.buildbot/install.sh2
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 @@
#!/bin/bash
+cd doc/tutorial; make tutorial.html &> /dev/null; cd -
+cd doc/doxygen; make full &> /dev/null; cd -
make install