Re: [Notion-general] Notion site and documentation

[Arnout E. <ar...@bz...>]

On Sun, Jul 13, 2014 at 12:00 AM, Jeff Backus <jef...@gm...> wrote:

> On Thu, Jul 10, 2014 at 11:15:25PM +0200, Arnout Engelen wrote:
>
>> I would warmly appreciate any help with:
>>
> (..snip..)
>
>  * Migrating the latex docs to github pages
>>
>
> Hi Arnout,
>
> I can help poke at the LaTeX -> Github pages.


Cool!


> 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).


> 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 :).


Kind regards,

Arnout