Magnus Hagander wrote:
> Is this script in CVS somewhere? I know it's not in the main backend
> repo.

Most of what these scripts have done in the past has been systematized 
and folded into the "make dist" target in the mean time, and AFAICT, we 
could integrate the documentation preparation as well, now that it 
works automatically in a reliable fashion.  That would reduce the 
answer to the original question to something like

make dist[check]

Peter Eisentraut

---------------------------(end of broadcast)---------------------------
TIP 1: if posting/reading through Usenet, please send an appropriate
       subscribe-nomail command to [EMAIL PROTECTED] so that your
       message can get through to the mailing list cleanly

Reply via email to