Thread: Docs generation fixed

Docs generation fixed

From
Thomas Lockhart
Date:
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