diff options
author | Martin Schanzenbach <mschanzenbach@posteo.de> | 2021-03-22 20:28:33 +0100 |
---|---|---|
committer | Martin Schanzenbach <mschanzenbach@posteo.de> | 2021-03-22 20:28:33 +0100 |
commit | d50fd56eea757bb67602b67a441d52989cbcde07 (patch) | |
tree | 483f762ac3cc3b9aef7aac5f6594b70f6794910a /.buildbot/install.sh | |
parent | a42d7df64e18705cef7cd04ac36fd7dbace80268 (diff) | |
download | gnunet-d50fd56eea757bb67602b67a441d52989cbcde07.tar.gz gnunet-d50fd56eea757bb67602b67a441d52989cbcde07.zip |
-add doxygen in install step
Diffstat (limited to '.buildbot/install.sh')
-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 |