> I see. But the script is not shipped with the pv binary package and is > unlikely to be ever called. At least it isn't called during build, > unless I'm mistaken...
You are right in that, but if has sense that somebody (maybe a developer) execute `make index` i think that this patch equally apply. If not, please tell me and I close this bug. Regards, Juan Picca
