From aae61f46e2ea17ee678123f6bf0876994507a371 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Tue, 10 Jan 2017 12:34:12 -0800
Subject: [PATCH] tools: some pandoc filter fixes

[ci skip]
---
 tools/pandoc-add-toc.hs  | 0
 tools/pandoc-drop-toc.hs | 1 +
 2 files changed, 1 insertion(+)
 mode change 100644 => 100755 tools/pandoc-add-toc.hs
 mode change 100644 => 100755 tools/pandoc-drop-toc.hs

diff --git a/tools/pandoc-add-toc.hs b/tools/pandoc-add-toc.hs
old mode 100644
new mode 100755
diff --git a/tools/pandoc-drop-toc.hs b/tools/pandoc-drop-toc.hs
old mode 100644
new mode 100755
index 690616a54..0528194ac
--- a/tools/pandoc-drop-toc.hs
+++ b/tools/pandoc-drop-toc.hs
@@ -1,6 +1,7 @@
 #!/usr/bin/env stack
 {- stack runghc --verbosity info
    --package pandoc
+   --package split
 -}
 -- Remove a table of contents marker
 -- (a bullet list item containing "toc[-N[-M]]")