mkid reference

Magnus Hagander <magnus@hagander.net>

From: Magnus Hagander <magnus@hagander.net>
To: Bruce Momjian <bruce@momjian.us>
Cc: PostgreSQL Developers <pgsql-hackers@lists.postgresql.org>
Date: 2021-01-22T11:56:10Z
Lists: pgsql-hackers
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/



Commits

  1. Remove make_diff set of tools