#!/bin/sh
#
# doxygen input filter

# 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