From 372e9f40a2d5fe2ef6d381b2e37a7cd7bd13dc2a Mon Sep 17 00:00:00 2001
From: Fabian Keil <fk@fabiankeil.de>
Date: Fri, 6 Mar 2020 14:01:49 +0100
Subject: [PATCH] Don't claim that contributors need ssh
It's only neede for committers.
---
doc/source/developer-manual.sgml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/source/developer-manual.sgml b/doc/source/developer-manual.sgml
index 90019ef8..da62dade 100644
--- a/doc/source/developer-manual.sgml
+++ b/doc/source/developer-manual.sgml
@@ -133,8 +133,8 @@ Hal.
can be sent to the list for review too.
</para>
<para>
- You will also need to have a git package installed, which will
- entail having ssh installed as well, in order to access the git repository.
+ You will also need to have a git package installed,
+ in order to access the git repository.
Having the GNU build tools is also going to be important (particularly,
autoconf and gmake).
</para>
--
2.49.0