From fa0f014e678f4b6650d699f5f816cc2424d88989 Mon Sep 17 00:00:00 2001 From: Andreas Kloeckner Date: Tue, 11 Jun 2024 16:59:15 -0400 Subject: [PATCH] Fix hostname for doc upload --- doc/build-docs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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