Bruce Momjian <pgman@candle.pha.pa.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