[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GNU Texinfo for use inside a wiki system

From: Karl Berry
Subject: Re: GNU Texinfo for use inside a wiki system
Date: Mon, 19 Nov 2007 19:14:31 -0600

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?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]