Texinfo files in the wiki (was: Updated HHG)

[Thomas Schwinge]

Hello!

On Mon, Oct 29, 2007 at 03:16:41PM +0100, olafBuddenhagen@gmx.net wrote:
> How about putting this into the wiki? That would make it much easier for
> others to contribute. If it was already a wiki, I could have fixed some
> of the things mentioned above, as well various minor issues directly...

I have just written a primitive (but functional) Texinfo-rendering plugin
for ikiwiki, our wiki system.  We could now install Texinfo files into
the wiki, work on them in there and have them rendered to HTML within the
wiki system.

As for the HHG: Do we want to actually _move_ it into the wiki repository
or rather put up a copy there and merge possible changes back into the
original copy?  How to deal with other Texinfo files, where people might
want to contribute, like the Hurd or GNU Mach reference manuals?


Regards,
 Thomas

signature.asc
Description: Digital signature