After a few evil days...
frank.fischer at mathematik.tu-chemnitz.de
Mon Aug 8 13:16:33 CEST 2011
On Mon, Aug 08, 2011 at 12:24:28PM +0200, Michael Markert wrote:
> I noticed the PDF documentation but there are no sources in the
> repository: What's the format of choice to generate the docs? From the
> PDF I'd deduce it's LaTeX, but where is the source? 
It's written in TexInfo and the source is still in the 'doc' branch.
So maybe pandoc is worth a look, never used it.
More information about the implementations-list