1 files changed, 0 insertions, 20 deletions
diff --git a/scripts/deflists.py b/scripts/deflists.py
deleted file mode 100755
index 502963419..000000000
--- a/scripts/deflists.py
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/usr/bin/env python
-
-"""
-Pandoc filter to convert definition lists to bullet
-lists with the defined terms in strong emphasis (for
-compatibility with standard markdown).
-"""
-
-from pandoc import toJSONFilter
-
-def deflists(key, value, format):
-  if key == 'DefinitionList':
-    return {'BulletList': [tobullet(t,d) for [t,d] in value]}
-
-def tobullet(term, defs):
-  return [{'Para': [{'Strong': term}]}] + [b for d in defs for b in d]
-
-
-if __name__ == "__main__":
-  toJSONFilter(deflists)