diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/make.1 | 11 | ||||
-rw-r--r-- | doc/make.texi | 2 |
2 files changed, 5 insertions, 8 deletions
@@ -1,4 +1,4 @@ -.TH MAKE 1 "31 May 2022" "GNU" "User Commands" +.TH MAKE 1 "26 May 2023" "GNU" "User Commands" .SH NAME make \- GNU Make utility to maintain groups of programs .SH SYNOPSIS @@ -76,9 +76,8 @@ listing, right near other important files such as The first name checked, .IR GNUmakefile , is not recommended for most makefiles. You should use this name if you have a -makefile that is specific to GNU -.BR make , -and will not be understood by other versions of +makefile that is specific to GNU Make, and will not be understood by other +versions of .BR make . If .I makefile @@ -368,9 +367,7 @@ except that the modification time is changed only in the imagination of .B \-\-warn\-undefined\-variables Warn when an undefined variable is referenced. .SH "EXIT STATUS" -GNU -.B make -exits with a status of zero if all makefiles were successfully parsed +GNU Make exits with a status of zero if all makefiles were successfully parsed and no targets that were built failed. A status of one will be returned if the .B \-q diff --git a/doc/make.texi b/doc/make.texi index 71317c7d..aa488eb7 100644 --- a/doc/make.texi +++ b/doc/make.texi @@ -3,7 +3,7 @@ @setfilename make.info @include version.texi -@set EDITION 0.76 +@set EDITION 0.77 @settitle GNU @code{make} @setchapternewpage odd |