doc-upload: marten has ssh on 2222 for now

inducer · inducer · commit 74c267e52e36 · 2024-04-12T09:50:46.000-05:00
diff --git a/doc/build-docs.sh b/doc/build-docs.sh
@@ -18,6 +18,7 @@ Host doc-upload
    IdentitiesOnly yes
    Hostname marten.tiker.net
    StrictHostKeyChecking false
+   Port 2222
 END
 
 make html SPHINXOPTS="-W --keep-going -n"
