Bruce Momjian <pgman(at)candle(dot)pha(dot)pa(dot)us> writes:
> I think we should remove doc/internals.ps from CVS. It is something
> that belongs on the web site, not in CVS. It is 640k.
Since it is clearly not a *source* file, it does not belong in CVS.
The source for the document might belong in CVS, if we have it ...
regards, tom lane