--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/contrib/filter_gcc_for_doxygen	Fri Jul 17 14:47:48 2009 +0900
@@ -0,0 +1,12 @@
+#!/bin/sh
+
+# This filters GCC source before Doxygen can get confused by it;
+# this script is listed in the doxyfile. The output is not very
+# pretty, but at least we get output that Doxygen can understand.
+#
+# $1 is a source file of some kind. The source we wish doxygen to
+# process is put on stdout.
+
+dir=`dirname $0`
+perl $dir/filter_params.pl < $1 | perl $dir/filter_knr2ansi.pl 
+exit 0