From: Peter Eisentraut <peter_e@gmx.net>
Date: Fri, 10 May 2013 02:21:43 +0000 (-0400)
Subject: Remove make_keywords
X-Git-Tag: REL9_3_BETA2~108
X-Git-Url: http://git.postgresql.org/gitweb/?a=commitdiff_plain;h=bd98852cbd19083ea46a90056666e087f1bb0d67;p=postgresql.git

Remove make_keywords

It is not used anymore.
---

diff --git a/src/tools/make_keywords b/src/tools/make_keywords
deleted file mode 100755
index abbbfe000f6..00000000000
--- a/src/tools/make_keywords
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/sh
-
-# src/tools/make_keywords
-
-cat <<END
-To get a list of keywords compared to SQL'92, take the keywords out of
-backend/parser/keywords.c and tools/SQL_keywords.
-
-Then run sdif with the PostgreSQL keyword file first, then the SQL'92
-keywords.  Here is what I used:
-
-sdif /tmp/pgkeywords tools/SQL_keywords |\
-sed 's/</ /' | sed 's/>/ /'|sed 's/|/\
-                                        /' | sort -b +0
-END