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

Fix doc build script

parent 5e2bf837

build-docs.sh

+1 −1
Original line number Diff line number Diff line
@@ -67,5 +67,5 @@ END 
make html



echo "${DOC_UPLOAD_KEY}" > doc_upload_key

./upload-docs.sh || { rm doc_upload_key; exit 1; }

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

rm doc_upload_key