From 73c9fc709c9bc00e9b806da0abc5f45b8c5ffde7 Mon Sep 17 00:00:00 2001
From: Fabian Keil <fk@fabiankeil.de>
Date: Wed, 9 Dec 2020 14:58:04 +0100
Subject: [PATCH 1/1] Update description of the webserver target which uses
 ssh, not scp

---
 doc/source/developer-manual.sgml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/source/developer-manual.sgml b/doc/source/developer-manual.sgml
index 15ed5329..f78e15e2 100644
--- a/doc/source/developer-manual.sgml
+++ b/doc/source/developer-manual.sgml
@@ -385,7 +385,7 @@ Hal.
       <listitem><para>
         Run <computeroutput>make webserver</computeroutput> which copies all
         files from <computeroutput>doc/webserver</computeroutput> to the
-        sourceforge webserver via scp.
+        sourceforge webserver via ssh.
       </para></listitem>
      </orderedlist>
 
-- 
2.39.2