1 files changed, 0 insertions, 16 deletions
diff --git a/docs/Doxyfilter b/docs/Doxyfilter
deleted file mode 100644
index 6a6d50f734..0000000000
--- a/docs/Doxyfilter
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/sh
-
-#
-# Doxyfilter <source-root> <filename>
-#
-
-dir=$(dirname "$0")
-
-PYFILTER="$dir/pythfilter.py"
-
-if [ "${2/.py/}" != "$2" ]
-then
-    python "$PYFILTER" -r "$1" -f "$2"
-else
-    cat "$2"
-fi