summaryrefslogtreecommitdiffstats
path: root/cpukit/doxy-filter
diff options
context:
space:
mode:
Diffstat (limited to 'cpukit/doxy-filter')
-rwxr-xr-xcpukit/doxy-filter21
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
+