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

[Patrice Dumas]

On Sun, Aug 02, 2020 at 10:54:14PM +0100, Gavin Smith wrote:
> 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.  With 
> Texinfo's own manual, if I comment out the "@include version.texi" line
> there are only warnings about undefined flags, but the rest of the 
> manual is fine.  I expect that this would be the case for most manuals 
> and there is not anything really complicated going on with included 
> files.
> 
> Does anybody have any comments about my proposal to change missing 
> @include files to give only a warning?

I think that it would be risky, as @include can also be used for
chapters or the like.

I think that using --force would do the trick here, and is more generic
if you use makeinfo/texi2any.

-- 
Pat