* doc/make.texi (Include): Update behavior for missing included files

diff --git a/doc/make.texi b/doc/make.texi
index 21573c00ed7dfea478e86c211ffcc32cd417cd2b..8bf3a4697466604cdf45d5ed69871be753b592b9 100644 (file)
--- a/doc/make.texi
+++ b/doc/make.texi
@@ -1280,12 +1280,11 @@ hierarchy.})
 @file{/usr/gnu/include},
 @file{/usr/local/include}, @file{/usr/include}.
 
-If an included makefile cannot be found in any of these directories, a
-warning message is generated, but it is not an immediately fatal error;
-processing of the makefile containing the @code{include} continues.
-Once it has finished reading makefiles, @code{make} will try to remake
-any that are out of date or don't exist.
-@xref{Remaking Makefiles, ,How Makefiles Are Remade}.
+If an included makefile cannot be found in any of these directories it
+is not an immediately fatal error; processing of the makefile
+containing the @code{include} continues.  Once it has finished reading
+makefiles, @code{make} will try to remake any that are out of date or
+don't exist.  @xref{Remaking Makefiles, ,How Makefiles Are Remade}.
 Only after it has tried to find a way to remake a makefile and failed,
 will @code{make} diagnose the missing makefile as a fatal error.