From e1b24cb136479b10a664b35d6fbf8cca5e4553fb Mon Sep 17 00:00:00 2001 From: Denis 'GNUtoo' Carikli Date: Mon, 26 Aug 2024 14:25:25 +0200 Subject: [PATCH] website: clarify that patches are not the only way to contribute. Signed-off-by: Denis 'GNUtoo' Carikli Acked-by: Adrien 'neox' Bourmault --- website/pages/git.md | 4 ++-- website/pages/template.include | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/website/pages/git.md b/website/pages/git.md index 09a6624..48d4ef9 100644 --- a/website/pages/git.md +++ b/website/pages/git.md @@ -176,8 +176,8 @@ GNU/Linux is generally recommended as the OS of choice, for GNU Boot development. However, BSD operating systems also boot on GNU Boot machines. -Send patches & contribute -------------------------- +Contributing patches to GNU Boot +-------------------------------- You can submit your patches to the [gnuboot-patches mailing list](https://lists.gnu.org/mailman/listinfo/gnuboot-patches), diff --git a/website/pages/template.include b/website/pages/template.include index a27f2c8..e4a6788 100644 --- a/website/pages/template.include +++ b/website/pages/template.include @@ -61,7 +61,7 @@ $endif$
  • News
  • Bugs
  • Savannah forge
    • -
  • Send patch
    • +
  • Helping GNU Boot
  • Contact
    • @@ -72,7 +72,7 @@ $if(x-unreviewed)$ boot software related projects instead of GNU Boot. We also need help (ideally in the form of patches sent to the GNU Boot mailing list) to fix this website. See - the Send patch + the Helping GNU Boot page for more details on how to contribute to GNU Boot.