Hi Thomas,
(Sorry for the delayed reply.)
Would someone of the Texinfo team
Well, since no one else has replied, I guess it's me.
I put up my snippets at <http://ikiwiki.info/plugins/contrib/texinfo/>.
> I'll see about a frob to get makeinfo provide me with a list of
> additional files it used for rendering a given .texi file.
How about just:
awk '/[EMAIL PROTECTED]/ {print $2} {}' *.texi
I can imagine it's not perfect, but ...
At the very end:
> This is due to makeinfo not providing this functionality if rendering to
> stdout.
Can't you dump to a temp file and then read it?
I'm sorry, my brain is fuzzing on the other questions. Can you explain?
Thanks,
Karl
