Andrew Dunstan <andrew(at)dunslane(dot)net> writes:
> Here's a patch that adds the README and also adds a Makefile recipe for
> regenerating Gen_dummy_probes.pl after the sed script is changed. On my
> system at least the recipe is idempotent.
I've not tested the Makefile recipe, but the README looks good.
regards, tom lane