"Matthew T. O'Connor" <matthew@zeut.net> writes:
> Lots of projects publish their HTML docs in two formats: One Big HTML
> file with everything; Broken up into many HTML files that link to each
> other. This would allow you you have one big searchable document.
The key word there being "big" ;-) ... I don't have any problem with
making such a version available on the website, but I don't think
shipping two versions of the HTML docs in our tarballs is reasonable.
regards, tom lane