The body of the html is generated from Markdown, using the Github Markdown API.
To generate index.html from index.md, run
$ ./autogen.py index
The body of the html is generated from Markdown, using the Github Markdown API.
To generate index.html from index.md, run
$ ./autogen.py index