From ae535b84d758ee57955b82ec245fe984fc2a507b Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Thu, 14 Jun 2018 13:12:31 +0200
Subject: tools: Remove duplicate doxy-filter

This is a duplicate of cpukit/doxy-filter and not used.
---
 tools/build/doxy-filter | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100755 tools/build/doxy-filter

(limited to 'tools/build/doxy-filter')

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,@file.*$,@file $file," $file
-fi
-
-- 
cgit v1.2.3