[PATCH] tools: Remove duplicate doxy-filter

[Sebastian Huber]

This is a duplicate of cpukit/doxy-filter and not used.
---
 tools/build/Makefile.am |  2 --
 tools/build/doxy-filter | 20 --------------------
 2 files changed, 22 deletions(-)
 delete mode 100755 tools/build/doxy-filter

diff --git a/tools/build/Makefile.am b/tools/build/Makefile.am
index e9fdd2602a..a00a450e58 100644
--- a/tools/build/Makefile.am
+++ b/tools/build/Makefile.am
@@ -2,6 +2,4 @@ ACLOCAL_AMFLAGS = -I ../../aclocal
 
 bin_SCRIPTS = install-if-change
 
-noinst_SCRIPTS = doxy-filter
-
 include $(top_srcdir)/../../automake/host.am
diff --git a/tools/build/doxy-filter b/tools/build/doxy-filter
deleted file mode 100755
index 442c2b6696..0000000000
--- a/tools/build/doxy-filter
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/bin/sh
-
-# doxygen input filter
-
-# usage: doxy-filter <input-file-name>
-# Reads <input-file> and writes to stdout.
-
-file=$1
-
-# Does file contain a doxygen @file directive?
-if ! grep -q '@file' $file >/dev/null ; then
-# No, add one
-echo "/** @file $file */"
-cat $file
-else
-# Yes, adjust path to work around doxygen not being able to
-# distinguish file names properly
-exec sed -e "s, at file.*$, at file $file," $file
-fi
-
-- 
2.13.7