]> granicus.if.org Git - postgresql/commitdiff
Remove make_keywords
authorPeter Eisentraut <peter_e@gmx.net>
Fri, 10 May 2013 02:21:43 +0000 (22:21 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Fri, 10 May 2013 02:21:43 +0000 (22:21 -0400)
It is not used anymore.

src/tools/make_keywords [deleted file]

diff --git a/src/tools/make_keywords b/src/tools/make_keywords
deleted file mode 100755 (executable)
index abbbfe0..0000000
+++ /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