Kevin Michel 93bcf5a41e Replace and run the sitemap generator
This replaces the very old sitemap generator which was over 2kloc and
only compatible with Python 2.

According to the stored lastmod, the generator wasn't used since 2010.

The minimal replacement script scan the static site for html files and
uses git to deduce the last modification date of each page.

The sitemap xmlns version was updated to the latest 0.9 from
sitemaps.org .

The index page was given a higher priority since the other pages
are just redirects to the index with anchors.

The output file is pretty printed to help with diffs.

Static assets (css, images...) aren't listed in the sitemap anymore.
2020-01-31 14:21:00 +01:00
..
2014-03-31 11:14:45 -07:00
2020-01-01 12:58:43 +11:00
2012-10-03 05:04:07 +05:45
2018-08-01 15:31:17 +03:00

Generate Documentation
======================

Requirements
------------

To generate documentation you need to install:

 - Python >= 3.4
 - Sphinx (http://sphinx-doc.org/)


Generate html
-------------
::

    $ make html

The command generates html document inside ``build/html`` dir.