diff --git a/doc/build-docs.sh b/doc/build-docs.sh index 109e59d5f..a1e93b83a 100644 --- a/doc/build-docs.sh +++ b/doc/build-docs.sh @@ -16,7 +16,7 @@ Host doc-upload User doc IdentityFile doc_upload_key IdentitiesOnly yes - Hostname marten.tiker.net + Hostname documen.tician.de StrictHostKeyChecking false Port 2222 END