File renamed.

[bertos.git] / doc / wizard-tag-filter.py

diff --git a/doc/wizard-tag-filter.py b/doc/wizard-tag-filter.py
deleted file mode 100644 (file)
index d944c10..0000000
--- a/doc/wizard-tag-filter.py
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/usr/bin/env python\r
-from __future__ import with_statement\r
-import re, sys\r
-\r
-if __name__ == "__main__":\r
-    expr = re.compile(r"\$WIZ\$.*$")\r
-    with file(sys.argv[1]) as f:\r
-        for line in f:\r
-            if re.search(expr, line) != None:\r
-                new_line = re.sub(expr, "", line)\r
-                sys.stdout.write(new_line)\r
-            else:\r
-                sys.stdout.write(line)\r