"Marc G. Fournier" <[EMAIL PROTECTED]> writes:
> On Wed, 3 Mar 2004, Palle Girgensohn wrote:
>> Just realized that man pages are not installed. Reason is that
>> doc/man.tar.gz does not exists, but Makefile expects it. instead, there is
>> a doc/man-7.3.tar.gz...
> Damn ... its a quick/easy change on my end, but I had an argument once way
> back concerning re-tarring up the distro after being released ...
> Would take me 5 minutes to do ... should I leave, or re-package?
I'd say repackage, being careful not to change anything else ...
regards, tom lane
---------------------------(end of broadcast)---------------------------
TIP 1: subscribe and unsubscribe commands go to [EMAIL PROTECTED]
