diff options
Diffstat (limited to 'docs/Doxyfilter')
| -rw-r--r-- | docs/Doxyfilter | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/docs/Doxyfilter b/docs/Doxyfilter index a5c413bb44..6a6d50f734 100644 --- a/docs/Doxyfilter +++ b/docs/Doxyfilter @@ -1,12 +1,16 @@ #!/bin/sh +# +# Doxyfilter <source-root> <filename> +# + dir=$(dirname "$0") PYFILTER="$dir/pythfilter.py" -if [ "${1/.py/}" != "$1" ] +if [ "${2/.py/}" != "$2" ] then - python "$PYFILTER" -f "$1" + python "$PYFILTER" -r "$1" -f "$2" else - cat "$1" + cat "$2" fi |