From 8a337b0ed21c654521da137159b8b9327a5cb971 Mon Sep 17 00:00:00 2001
From: Magnus Hagander <magnus@hagander.net>
Date: Sun, 24 Jan 2021 14:19:00 +0100
Subject: 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
---
 src/tools/make_diff/difforig | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100755 src/tools/make_diff/difforig

(limited to 'src/tools/make_diff/difforig')

diff --git a/src/tools/make_diff/difforig b/src/tools/make_diff/difforig
deleted file mode 100755
index 08119a42c33..00000000000
--- a/src/tools/make_diff/difforig
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/sh
-
-# src/tools/make_diff/difforig
-
-if [ "$#" -eq 0 ]
-then	APATH="."
-else	APATH="$1"
-fi
-find $APATH -name '*.orig' -print | sort | while read FILE
-do
-	NEW="`dirname $FILE`/`basename $FILE .orig`"
-	echo "$NEW" 1>&2
-	diff -c $FILE $NEW
-done
-- 
cgit v1.2.3