> I don't see a problem with your sticking with texinfo 4 if it suits.
As a general rule, that's not really an option.
> Of course many people hate Texinfo and always will, but Emacs was the
> original GNU package. It would be sad in the extreme if you abandoned
> Texinfo as the source format for the documentation.
I'm more interested in solving the problem, indeed.
> Incremental compilation: that would be nice.
I need more than that.
> What comes to mind is to somehow dump the processed tree for an
> included file.
If it makes it easier, I think we could settle for something along the
lines of LaTeX's \includeonly, maybe. E.g. keep enough data about the
non-recompiled files to generate the new text correctly, but not to
generate the complete text.
Or maybe output one .info file per input .texi file.
> Then subsequent runs can read the dump instead of
> redoing everything. There would be many complications, of course.
It's more important to have a solution soon than to have a perfect solution.
Stefan