HTML docs should be automated

[JelleAalbers]

The HTML docs are regularly out of date because the process of updating them is a bit involved. It would be nice if they are automatically updated -- say every week, at any rate faster than our current release cycle.