On Mon, 13 Apr 1998, Thomas G. Lockhart wrote:
> > > What is "unpacked"? And why does the docs Makefile want it??
> > < PGDOCS= /usr/local/cdrom/docs
> > ---
> > > PGDOCS= unpacked
> >
> > Changes for DESTDIR/linux that Bruce committed, but what I had before
> > that would have broken on your machine also, I fear :)
>
> Well, /usr/local/cdrom/docs doesn't quite work either :)
Nope, that was just me working on the cd's :) I must have done a
commit without realizing the change...
> Will revert to the original stuff unless there is a "grand scheme" for
> this. We're now using POSTGRESDIR for the DESTDIR function?
No, I believe we got rid of the DESTDIR functionality altogether
as it was unrequired...
