aboutsummaryrefslogtreecommitdiff
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)
downloadgnunet-d50fd56eea757bb67602b67a441d52989cbcde07.tar.gz
gnunet-d50fd56eea757bb67602b67a441d52989cbcde07.zip
-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 @@
1#!/bin/bash 1#!/bin/bash
2 2
3cd doc/tutorial; make tutorial.html &> /dev/null; cd -
4cd doc/doxygen; make full &> /dev/null; cd -
3make install 5make install