Developer docs online

[Nicolas Sebrecht]

On Mon, Aug 29, 2011 at 11:43:42AM +0200, Sebastian Spaeth wrote:
> On Fri, 26 Aug 2011 21:22:22 +0200, Nicolas Sebrecht wrote:
> > Thanks. I wonder how these pages are built. Do we have to maintain them
> > manually?
> 
> All "normal" pages are currently just static .html files for the lack of
> a better system.
> Everything under /dev-doc is the result of "cd docs; make dev-doc",
> mangle the file names to not start with an underscore (using this tool:
> https://github.com/michaeljones/sphinx-to-github) and copy the resulting
> html to the dev-doc folder (so yes, that needs manual updating
> currently).

Ok, thanks.

> I would love to have someone with web skills take over the page
> maintenance :)

Agreed. It would be nice.

-- 
Nicolas Sebrecht