From: Paul Smith <psmith@gnu.org>
Date: Mon, 6 Sep 2021 03:28:03 +0000 (-0400)
Subject: * doc/make.texi (Prerequisite Types): [SV 61069] Mention PHONY prereqs
X-Git-Tag: 4.3.90~157
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cc6dc70b160b81ca93e50db6a760bba9a670f4b0;p=thirdparty%2Fmake.git

* doc/make.texi (Prerequisite Types): [SV 61069] Mention PHONY prereqs
---

diff --git a/doc/make.texi b/doc/make.texi
index 411fb692..3c78f4a5 100644
--- a/doc/make.texi
+++ b/doc/make.texi
@@ -2073,6 +2073,10 @@ declare the same file to be both a normal and an order-only
 prerequisite, the normal prerequisite takes precedence (since they
 have a strict superset of the behavior of an order-only prerequisite).
 
+Order-only prerequisites are never checked when determining if the
+target is out of date; even order-only prerequisites marked as phony
+(@pxref{Phony Targets}) will not cause the target to be rebuilt.
+
 Consider an example where your targets are to be placed in a separate
 directory, and that directory might not exist before @code{make} is
 run.  In this situation, you want the directory to be created before