Re: Make missing @include a warning instead of an error

[Hans-Bernhard Bröker]

Am 02.08.2020 um 23:54 schrieb Gavin Smith:

I wonder if in many cases the manual would be nearly all OK to look at
if missing @include files only gave an warning, not an error.  

That's, essentially, impossible to know.  And I think that usage pattern 
of yours is far too unusual to base such a decision on.

Just because many packages use @include for such limited purposes, 
doesn't make it a valid conclusion that all @includes are pointless 
enough to only warrant a warning instead of an error.