diff options
Diffstat (limited to '')
| -rwxr-xr-x | tools/build/doxy-filter | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/tools/build/doxy-filter b/tools/build/doxy-filter deleted file mode 100755 index 1d47b0806d..0000000000 --- a/tools/build/doxy-filter +++ /dev/null @@ -1,21 +0,0 @@ -#!/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 - |