diff options
Diffstat (limited to 'docs/Doxyfilter')
| -rw-r--r-- | docs/Doxyfilter | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/docs/Doxyfilter b/docs/Doxyfilter new file mode 100644 index 0000000000..a5c413bb44 --- /dev/null +++ b/docs/Doxyfilter @@ -0,0 +1,12 @@ +#!/bin/sh + +dir=$(dirname "$0") + +PYFILTER="$dir/pythfilter.py" + +if [ "${1/.py/}" != "$1" ] +then + python "$PYFILTER" -f "$1" +else + cat "$1" +fi |