aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Schanzenbach <mschanzenbach@posteo.de>2020-07-06 18:03:21 +0200
committerMartin Schanzenbach <mschanzenbach@posteo.de>2020-07-06 18:03:21 +0200
commitb97a9253823ab8e56da3b89d4d43e816e1b1cbb4 (patch)
treeabf99aa053353e9f3959a6e13af0198bd1c0a577
parent4f77571513a01ef99722eaa8023566cc4a418b48 (diff)
downloadgnunet-b97a9253823ab8e56da3b89d4d43e816e1b1cbb4.tar.gz
gnunet-b97a9253823ab8e56da3b89d4d43e816e1b1cbb4.zip
-fix: actually build html
-rwxr-xr-x.buildbot/firefly-x86_64-amdepyc_deploy.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/.buildbot/firefly-x86_64-amdepyc_deploy.sh b/.buildbot/firefly-x86_64-amdepyc_deploy.sh
index b956a3d92..8ba9d35be 100755
--- a/.buildbot/firefly-x86_64-amdepyc_deploy.sh
+++ b/.buildbot/firefly-x86_64-amdepyc_deploy.sh
@@ -2,5 +2,8 @@
2 2
3# Deploy docs from buildbot 3# Deploy docs from buildbot
4 4
5cd doc
6make html
7cd ..
5chmod -R ag+rX doc/ 8chmod -R ag+rX doc/
6rsync -a --delete doc/ handbook@firefly.gnunet.org:~/doc_deployment/ 9rsync -a --delete doc/ handbook@firefly.gnunet.org:~/doc_deployment/