From f4f353bb54ac562b61d715f57671eda39c876a51 Mon Sep 17 00:00:00 2001 From: Paul Smith Date: Wed, 28 Oct 2020 11:10:52 -0400 Subject: [PATCH] * doc/make.texi (Include): Update behavior for missing included files --- doc/make.texi | 11 +++++------ 1 file 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. -- 2.47.3