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] 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.49.0