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

Fix doc build script

parent 7cf7cea3
Loading
Loading
Loading
Loading
+3 −1
Original line number Diff line number Diff line
@@ -52,6 +52,8 @@ fi

$PY_EXE -m pip install sphinx

hash -r # make sure sphinx is found

cd doc

cat > doc_upload_ssh_config <<END
@@ -65,5 +67,5 @@ END
make html

echo "${DOC_UPLOAD_KEY}" > doc_upload_key
./upload-docs.sh || { rm doc_upload_key; exit 1 }
./upload-docs.sh || { rm doc_upload_key; exit 1; }
rm doc_upload_key