diff options
Diffstat (limited to 'contrib/filter_gcc_for_doxygen_new')
| -rw-r--r-- | contrib/filter_gcc_for_doxygen_new | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/contrib/filter_gcc_for_doxygen_new b/contrib/filter_gcc_for_doxygen_new deleted file mode 100644 index d1109a50c88..00000000000 --- a/contrib/filter_gcc_for_doxygen_new +++ /dev/null @@ -1,12 +0,0 @@ -#!/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` -python $dir/filter_params.py $1 -exit 0 |