tools: some pandoc filter fixes

[ci skip]
2017-01-10 12:34:12 -08:00 · 2017-01-10 12:34:12 -08:00 · aae61f46e2
commit aae61f46e2
parent ad34e4aa42
2 changed files with 1 additions and 0 deletions
--- a/tools/pandoc-add-toc.hs
+++ b/tools/pandoc-add-toc.hs
--- 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]]")