Обсуждение: pgsql: Remove make_diff set of tools

Remove make_diff set of tools

These are mostly obsoleted by the switch to git, and it's easier to
remove them than to update the incorrect documentation.

Discussion: https://postgr.es/m/CABUevEwmASMn4WRJ6RagBx43sj10ctfMHcMA_-7KA3pDYmwpJw@mail.gmail.com

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/8a337b0ed21c654521da137159b8b9327a5cb971

Modified Files
--------------
src/tools/make_diff/README   | 39 ---------------------------------------
src/tools/make_diff/cporig   | 11 -----------
src/tools/make_diff/difforig | 14 --------------
src/tools/make_diff/rmorig   |  9 ---------
4 files changed, 73 deletions(-)