5 Commits

Author SHA1 Message Date
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
Hugo
e974f30517 Drop support for Python 2
Co-Authored-By: Dustin Ingram <di@users.noreply.github.com>
Co-Authored-By: Berker Peksag <berker.peksag@gmail.com>
2018-08-01 15:31:17 +03:00
Edward Betts
fc64a43ec6 Correct spelling mistakes. 2018-02-19 22:00:41 +03:00
Collin Anderson
03fbe9429d clean whitespace 2014-09-10 09:52:12 -04:00
Prateek Singh Paudel
fc2f694ac3 Rename doc to docs. 2012-10-03 04:29:35 +05:45