diff --git a/scripts/py_filter b/scripts/py_filter new file mode 100755 index 0000000..2d6b1f0 --- /dev/null +++ b/scripts/py_filter @@ -0,0 +1,4 @@ +#!/bin/bash +# Script used to filter Python files such that it can be used together with +# Doxygen +doxypypy -a -c $1