Hello! On Mon, Oct 29, 2007 at 03:16:41PM +0100, [EMAIL PROTECTED] 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
_______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
