Fix hostname for doc upload

inducer · Jun 11, 2024 · fa0f014 · fa0f014
1 parent 3a895e0
commit fa0f014
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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