diff options
author | John MacFarlane <fiddlosopher@gmail.com> | 2013-08-18 15:36:54 -0700 |
---|---|---|
committer | John MacFarlane <fiddlosopher@gmail.com> | 2013-08-18 15:37:27 -0700 |
commit | 70386a6a54c54189b8456b547a657873481a70b7 (patch) | |
tree | ff5d2ce432e0145f65c0728e66caf6cd193d48ac /scripts/comments.py | |
parent | 8d441af3da4709fd48a44e860d5a0cd4d35792af (diff) | |
download | pandoc-70386a6a54c54189b8456b547a657873481a70b7.tar.gz |
Removed scripts directory.
This has been put in its own github repo:
https://github.com/jgm/pandoc-filters-python
Diffstat (limited to 'scripts/comments.py')
-rwxr-xr-x | scripts/comments.py | 30 |
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) |