I have determined that the HTML documentation must be built before any
of the PDF makefile targets are valid, so I have applied the attached
documentation patch to mention this.
--
Bruce Momjian <bruce(at)momjian(dot)us> http://momjian.us
EnterpriseDB http://enterprisedb.com
+ If your life is a hard drive, Christ can be your backup. +