1 files changed, 0 insertions, 30 deletions
diff --git a/scripts/comments.py b/scripts/comments.py
deleted file mode 100755
index ded21039c..000000000
--- a/scripts/comments.py
+++ /dev/null
@@ -1,30 +0,0 @@
-#!/usr/bin/env python
-from pandoc import toJSONFilter
-import re
-
-"""
-Pandoc filter that causes everything between
-'<!-- BEGIN COMMENT -->' and '<!-- END COMMENT -->'
-to be ignored.  The comment lines must appear on
-lines by themselves, with blank lines surrounding
-them.
-"""
-
-incomment = False
-
-def comment(k,v,fmt):
-  global incomment
-  if k == 'RawBlock':
-    fmt, s = v
-    if fmt == "html":
-      if re.search("<!-- BEGIN COMMENT -->", s):
-        incomment = True
-        return []
-      elif re.search("<!-- END COMMENT -->", s):
-        incomment = False
-        return []
-  if incomment:
-    return []  # suppress anything in a comment
-
-if __name__ == "__main__":
-  toJSONFilter(comment)