Re: What is the correct way of handling generated docs?

[Karl Berry]

    What exactly are the reasons that you need to produce Texinfo from
    some other source language, rather than maintaining them in Texinfo?

I don't know about doxygen, but javadoc has a well-developed mechanism
for maintaining the documentation for functions/classes/etc. in the
source file, and standard tools for extracting it.  I didn't know there
was a way to turn that into Texinfo, but if there is, great, I think
it's worth supporting.

As for the original problem, maybe automake could have a variable
BUILT_DOCS which lists texinfo files which are created, analogous to
BUILT_SOURCES.  Just an idea, not claiming it solves everything or is
easy to do ...