[Notion-general] Notion site and documentation

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

Hi all,

The Notion site and documentation is currently kind of old-fashioned and
fragmented:

* Some static HTML pages on sf.net
* Some HTML/PDF documentation generated from latex sources
* A sf.net wiki that was discontinued (I have tar.gz and sql.gz backups,
but haven't looked into them yet)

We're long overdue for a switch to a more modern setup.

I'd like to move everything to jekyll/github-pages. As a crude first step I
moved over the 'tour' to http://raboof.github.io/notion/tour/ which is
generated from https://github.com/raboof/notion/blob/gh-pages/tour.md

I would warmly appreciate any help with:
* Creating a more modern theme
* Creating a project frontpage (or migrating the existing one?)
* Migrating the latex docs to github pages
* Migrating the mediawiki content to github pages
* Improving our documentation overall
* Improving the presentation of our documentation overall (revisiting the
tour it still seems like a very good introduction, but could be presented
in a more friendly way)
* Any ideas, feedback, tips, etc!


Kind regards,

Arnout