(cc'd to -hackers; the topic is my accidentally committing a modified
Makefile, since recovered by Peter E.)
> ... Of course, no hardcoded paths would be even
> better...
It actually is a perl script, not a full-out standalone program. It
seems like we would need this to be a config item or at least capable of
being overridden with Makefile.custom.
Peter, how would you suggest we think about generalizing this?
- Thomas