diff options
Diffstat (limited to 'scripts/deemph.py')
-rwxr-xr-x | scripts/deemph.py | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/scripts/deemph.py b/scripts/deemph.py deleted file mode 100755 index f69dac5b8..000000000 --- a/scripts/deemph.py +++ /dev/null @@ -1,15 +0,0 @@ -#!/usr/bin/env python -from pandoc import walk, toJSONFilter -from caps import caps - -""" -Pandoc filter that causes emphasized text to be displayed -in ALL CAPS. -""" - -def deemph(key, val, fmt): - if key == 'Emph': - return walk(val, caps, fmt) - -if __name__ == "__main__": - toJSONFilter(deemph) |