diff options
author | Paul Smith <psmith@gnu.org> | 2016-05-21 15:23:54 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2016-05-22 09:25:55 -0400 |
commit | ec6198012261e11b72bd5a95bd9e5c4d895c5f22 (patch) | |
tree | a33c12e2a0ce327fcb409ccf4e234e05e3d67e96 /doc | |
parent | 9bb994e8319c2b153cd3d6d61e2c2882895e7c3a (diff) | |
download | make-git-ec6198012261e11b72bd5a95bd9e5c4d895c5f22.tar.gz |
GNU Make release 4.2.4.2
Diffstat (limited to 'doc')
-rw-r--r-- | doc/make.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/make.texi b/doc/make.texi index 2dc907a3..01bcec72 100644 --- a/doc/make.texi +++ b/doc/make.texi @@ -3,7 +3,7 @@ @setfilename make.info @include version.texi -@set EDITION 0.73 +@set EDITION 0.74 @settitle GNU @code{make} @setchapternewpage odd |