After a few evil days...

Frank Fischer frank.fischer at
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? [1]

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 mailing list