New (Copy of ../tools/build/doxy-filter).

1 files changed, 21 insertions, 0 deletions

diff --git a/cpukit/doxy-filter b/cpukit/doxy-filter
new file mode 100755
index 0000000000..1d47b0806d
--- /dev/null
+++ b/cpukit/doxy-filter
@@ -0,0 +1,21 @@
+#!/bin/sh
+
+# doxygen input filter
+# $Id$
+
+# 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
+