From aaeb136115b5423b6aaa73c7dfb4c6a5a7463c6e Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Sat, 18 Dec 2021 12:18:20 -0800 Subject: [PATCH] =?UTF-8?q?*=20make.texi=20(Bugs):=20Prefer=20=E2=80=98git?= =?UTF-8?q?=20format-patch=E2=80=99.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- doc/make.texi | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/doc/make.texi b/doc/make.texi index 3dea24f1..b27b7945 100644 --- a/doc/make.texi +++ b/doc/make.texi @@ -500,7 +500,7 @@ Either send electronic mail to: or use our Web-based project management tool, at: @example - http://savannah.gnu.org/projects/make/ + https://savannah.gnu.org/projects/make/ @end example @noindent @@ -511,6 +511,12 @@ include the type of machine and operating system you are using. One way to obtain this information is by looking at the final lines of output from the command @samp{make --help}. +If you can contribute patches, please submit them in @code{git +format-patch} format. You can send them via electronic mail either by +running @code{git send-email}, or by attaching them to your email to +@samp{bug-make@@gnu.org}. The current development repository can be +found at the abovementioned Savannah URL. + @node Introduction, Makefiles, Overview, Top @comment node-name, next, previous, up @chapter An Introduction to Makefiles -- 2.33.1