Commit e9eecb2e authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Fix doc build script

parent a6b28804

build-docs.sh

+1 −0
Original line number Diff line number Diff line
@@ -68,5 +68,6 @@ END 
make html



echo "${DOC_UPLOAD_KEY}" > doc_upload_key

chmod 0600 doc_upload_key

RSYNC_RSH="ssh -F doc_upload_ssh_config" ./upload-docs.sh || { rm doc_upload_key; exit 1; }

rm doc_upload_key