Re: [patch] Fix make.texi typo

2016-03-19 Thread Paul Smith
On Tue, 2016-03-15 at 10:50 +, John Marshall wrote: > Reposting as it would be nice to have this trivial documentation fix > in the upcoming release. Fixed for the next release (not pushed yet but in my repo), thanks. ___ Bug-make mailing list Bug-m

Re: [patch] Fix make.texi typo

2016-03-15 Thread John Marshall
Reposting as it would be nice to have this trivial documentation fix in the upcoming release. Cheers, John On 21 Oct 2015, at 17:55, John Marshall wrote: > A tiny patch for the documentation, adding a missing comma. diff --git a/doc/make.texi b/doc/make.texi index bcfe6a3..afce1c5 100644

[patch] Fix make.texi typo

2015-10-21 Thread John Marshall
A tiny patch for the documentation, adding a missing comma. Cheers, John diff --git a/doc/make.texi b/doc/make.texi index 86a1aeb..f506102 100644 --- a/doc/make.texi +++ b/doc/make.texi @@ -5616,7 +5616,7 @@ Several variables have constant initial values. @cindex != To set a variable fro