Re: GNU Texinfo for use inside a wiki system

[Karl Berry]

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 '/address@hidden/ {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