mongodb/docs — pull request #125 by epc (2012-08-16 15:22:37+00:00)
Title: DOCS374 changes to implement sitemap.xml generation

Changed file Makefile — Added new target "sitemap" — you may need to tweak this as I don't speak Makefile
new file sitemap-config.xml — hardcoded to use dirhtml for input and to write sitemap.xml.gz to
new file sitemap_gen.py — Google written, explicitly allows redistribution. Note that /usr/bin/python is hardcoded, may need to switch to "#!env python" or something similar to be more portable
changed file .gitignore to add *.pyo which are some alternate form of python compiled code which was showing up in .ext/bin