Docs generation fixed

The html docs should once again be generated automatically on
postgresql.org on a twice-daily basis. Thanks to Peter E for working me
through the toolset and configuration changes...

- Thomas