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

Sat, 17 Feb 2001 14:58:12 +0000
Thomas Lockhart <lockhart@alumni.caltech.edu>
Docs generation fixed