Hi!
in src/tools/make_diff/ there is a reference:
"If I use mkid (from ftp.postgreSQL.org), I can do:"
There is no such thing on our download site, and I can't find what it
even was at one point.
Was this part of some other package, since removed?
And maybe even more interestnig -- is there a point to this whole
make_diff directory at all in these days of git? Or should we just
remove it rather than try to fix it?
--
Magnus Hagander
Me: https://www.hagander.net/
Work: https://www.redpill-linpro.com/
