getting included texinfo files interface

[Patrice Dumas]

Hello,

With an objective to improve gendoc.sh texinfo sources tarball
generation code, I implemented, in the developpement version in git
the possibility with texi2any to output the @include files included
from a manual, without doing anything else.  A bit like the -M option of
cpp.  For now this feature is set through the customization option
SHOW_INCLUDE_FILE_PATHS.

For example, if mymanual.texi contains in itself or in an included
file

@include toto/aa.texi
@include version

Then calling texi2any like:

texi2any -c SHOW_INCLUDE_FILE_PATHS=1 mymanual.texi

outputs on stdout as sole effect:

toto/aa.texi
version


Is that interface to the feature ok?  Would there be another way to
specify included files that is common across diverse applications?
Should we try to do something like -M?

-- 
Pat