DOC: make zipped HTML docs available GH1876
Merge pull request #6020 from y-p/PR_GH1876

DOC: make zipped HTML docs available GH1876