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
