release.py: build HTML docs when cutting releases