On Mon, Aug 03, 2020 at 02:28:09PM +0200, Patrice Dumas wrote: > > 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.
OK, sounds like a good idea.
