diff options
Diffstat (limited to 'scripts/comments.py')
| -rwxr-xr-x | scripts/comments.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/comments.py b/scripts/comments.py index 5700c3485..304af1a2d 100755 --- a/scripts/comments.py +++ b/scripts/comments.py @@ -2,7 +2,8 @@ from pandoc import toJSONFilter import re -"""Pandoc filter that causes everything between +""" +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 |