Tom Lane wrote:
> I think what he was actually asking for was to provide a relatively
> simple way (like a configure option) of installing the HTML docs into
> a different directory from the plaintext docs. It didn't sound like
> an unreasonable request ...
You can use --with-docdir. There are no other docs besides the HTML
ones, so this allows you to place the HTML docs anywhere you like.