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 </ /'|sed 's/|/\ - /' | sort -b +0 -END