diff options
author | Paul Smith <psmith@gnu.org> | 2021-12-18 18:25:38 -0500 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2021-12-19 16:55:50 -0500 |
commit | 3efba8a1452c92ac474f3c08ac40ed45af4c67f9 (patch) | |
tree | 8d3b9c5dd1a6845b4028eb1d28d744359475c709 /doc | |
parent | e7b2f6818c4986c5b6239bed3681cddb0df22f5b (diff) | |
download | make-git-3efba8a1452c92ac474f3c08ac40ed45af4c67f9.tar.gz |
Update documentation with instructions for patch submission
* README.template: Add notes on how to submit patches.
* README.git: Point to the README.
* doc/make.texi: Ditto.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/make.texi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/make.texi b/doc/make.texi index 52d72712..e555373a 100644 --- a/doc/make.texi +++ b/doc/make.texi @@ -511,6 +511,9 @@ 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 have a code change you'd like to submit, see the @file{README} file +section ``Submitting Patches'' for information. + @node Introduction, Makefiles, Overview, Top @comment node-name, next, previous, up @chapter An Introduction to Makefiles |