diff options
Diffstat (limited to 'cpukit/doxy-filter')
-rwxr-xr-x | cpukit/doxy-filter | 21 |
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 + |