From 70386a6a54c54189b8456b547a657873481a70b7 Mon Sep 17 00:00:00 2001
From: John MacFarlane <fiddlosopher@gmail.com>
Date: Sun, 18 Aug 2013 15:36:54 -0700
Subject: Removed scripts directory.
This has been put in its own github repo:
https://github.com/jgm/pandoc-filters-python
---
scripts/comments.py | 30 ------------------------------
1 file changed, 30 deletions(-)
delete mode 100755 scripts/comments.py
(limited to 'scripts/comments.py')
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)
--
cgit v1.2.3