From b18c5f7ceb577bacf95e5c84fa1cbf0a0410ca45 Mon Sep 17 00:00:00 2001 From: Ralf Corsepius Date: Thu, 13 Jul 2006 06:37:43 +0000 Subject: 2006-07-13 Ralf Corsepius * doxy-filter: New. * Makefile.am: Add doxy-filter. --- tools/build/doxy-filter | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100755 tools/build/doxy-filter (limited to 'tools/build/doxy-filter') 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 +# Reads 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 + -- cgit v1.2.3