Re: [Notion-general] Notion site and documentation

[Jeff B. <jef...@gm...>]

On Sun, Jul 13, 2014 at 6:17 AM, Arnout Engelen <ar...@bz...> wrote:

>
>
>> Perhaps afterward we can chuck the LaTeX docs?
>
>
> Yes, that's the idea. LaTeX has served us well in the past, but it seems
> like it's time to move on. Using markdown and github-pages seems like a
> nice contributor-friendly workflow (though we'll still have to find a way
> to generate the API documentation and merge those).
>
>
Sounds good!

I haven't played with Github pages too much, so I'll need someone to point
>> me in the right direction. :)
>>
>
> I'm new to it, too. 'pandoc' seemed like a nice tool to convert latex
> files to markdown files. For the tables of contents, it seems 'kramdown',
> the markdown-to-html converter for github-pages, has some support for that.
> Beyond that, it's time to explore :).
>
>
> There is also LaTeXML <http://dlmf.nist.gov/LaTeXML/> which may be
useful. I'll get to digging. :)

Regards,
Jeff
-- 
Jeff Backus
jef...@gm...
http://github.com/jsbackus