diff options
author | Ralf Corsepius <ralf.corsepius@rtems.org> | 2006-07-13 06:37:43 +0000 |
---|---|---|
committer | Ralf Corsepius <ralf.corsepius@rtems.org> | 2006-07-13 06:37:43 +0000 |
commit | b18c5f7ceb577bacf95e5c84fa1cbf0a0410ca45 (patch) | |
tree | 545b2ffeebbe7b77805e776f6f54c0d0d887d08b /tools/build/doxy-filter | |
parent | PR 1110/networking (diff) | |
download | rtems-b18c5f7ceb577bacf95e5c84fa1cbf0a0410ca45.tar.bz2 |
2006-07-13 Ralf Corsepius <ralf.corsepius@rtems.org>
* doxy-filter: New.
* Makefile.am: Add doxy-filter.
Diffstat (limited to '')
-rwxr-xr-x | tools/build/doxy-filter | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/tools/build/doxy-filter b/tools/build/doxy-filter new file mode 100755 index 0000000000..1d47b0806d --- /dev/null +++ b/tools/build/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 + |