]> git.ipfire.org Git - thirdparty/make.git/commit
projects / thirdparty / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b5e47b) | patch
Resolve some documentation issues
authorPaul Smith <psmith@gnu.org>
Thu, 16 Jan 2020 20:14:53 +0000 (15:14 -0500)
committerPaul Smith <psmith@gnu.org>
Sun, 19 Jan 2020 22:04:52 +0000 (17:04 -0500)
commitdd6adfa454ab2782fca998c377f2dabafa3eca51
treeb49d8942c8b39f044627287fdc357201d1b0b64atree
parent3b5e47b2e2904884a9d853848be3348b7cdd4f8acommit | diff
Resolve some documentation issues

* doc/make.texi (Interrupts): [SV 46193] Recommend defensive recipes
* doc/make.texi: [SV 49262] Clarify interaction of prerequisites and
non-terminal match-anything rules.
doc/make.texi diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/make.git