Gavin Sherry <swm@linuxworld.com.au> writes:
> I think the problem can really be solved by just removing it from the
> distribution.
Just FYI, I've already done that in Red Hat's RPMs (not sure if Devrim
followed suit). I can't think of a good reason for "make install" to
install that script, either.
regards, tom lane