From: Paul Smith <psmith@gnu.org>
Date: Wed, 27 Aug 2025 03:27:03 +0000 (-0400)
Subject: * doc/make.texi: [SV 66974] Explain unmatched include glob patterns
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=365a939d7cc15008f761f765d63fcb7647f92064;p=thirdparty%2Fmake.git

* doc/make.texi: [SV 66974] Explain unmatched include glob patterns
---

diff --git a/doc/make.texi b/doc/make.texi
index 58aac28f..54371177 100644
--- a/doc/make.texi
+++ b/doc/make.texi
@@ -1259,8 +1259,11 @@ include @var{filenames}@dots{}
 @end example
 
 @noindent
-@var{filenames} can contain shell file name patterns.  If
-@var{filenames} is empty, nothing is included and no error is printed.
+If @var{filenames} is empty, nothing is included and no error is printed.
+@var{filenames} can contain shell file name patterns.  If no files match the
+pattern, then @code{make} will treat the pattern as a filename and try to
+include it (and attempt to rebuild if it doesn't exist--@ref{Remaking
+Makefiles, , How Makefiles Are Remade}).
 @cindex shell file name pattern (in @code{include})
 @cindex shell wildcards (in @code{include})
 @cindex wildcard, in @code{include}