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

1 files changed, 5 insertions, 6 deletions

diff --git a/doc/make.texi b/doc/make.texi
index 21573c00..8bf3a469 100644
--- 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.