Re: [ADMIN] Problem with compilation 7.3.4

Peter Eisentraut <peter_e(at)gmx(dot)net> writes:
> PostgreSQL currently contains a hack that does a macro substitution
> s/info/doc/ to create a --docdir option, but that evidently does not catch
> all cases. Also, I'm getting reports that it breaks package builds
> because they automatically provide an --infodir argument.

> At this point I'm more than inclined to give up on that, put --infodir
> back, and give the docdir a less attractive option like --with-docdir.

I agree with the above.

> Additionally, we could add the oppositve sense --without-docdir to prevent
> installation of the documentation, because some packaging tools, notably
> RPM and Debian, like to install the documentation themselves.

This is probably something to hold for a later release.

regards, tom lane