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

diff --git a/doc/make.texi b/doc/make.texi
index 58aac28fdfb8e21f65841d6fa148a1a27f35d121..54371177d0672fdf8901764bc24319a88a773a22 100644 (file)
--- 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}