generate_pages.py: Publish documentation in reliable locations.
We only ever publish one documentation package for a given major/minor point release series, and we select the most recent version, this was resulting in links going dead when new docs packages get published.
This fixes the issue by publishing the documentation without including the micro point number in the URL.