Index: docs/py_filter |
diff --git a/docs/py_filter b/docs/py_filter |
new file mode 100755 |
index 0000000000000000000000000000000000000000..6c95593ce90af251a145ae6262667467b8539844 |
--- /dev/null |
+++ b/docs/py_filter |
@@ -0,0 +1,7 @@ |
+#!/bin/bash |
+x=`which doxypypy` |
+if [ "$x" == "" ]; then |
+ cat $1 |
+else |
+ doxypypy -a -c $1 |
+fi |