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.