From 372e9f40a2d5fe2ef6d381b2e37a7cd7bd13dc2a Mon Sep 17 00:00:00 2001 From: Fabian Keil 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. - 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). -- 2.39.2