From 316b6f344e2afc7b92d49f179ca2e76cc8a6ab01 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Thu, 7 Dec 2017 12:02:13 -0800
Subject: [PATCH] shake: build only the needed, pandoc-2-compatible pandoc
 filters

---
 Shake.hs | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/Shake.hs b/Shake.hs
index 26f6ece7a..f9903b368 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -76,9 +76,18 @@ groff = "groff"
 
 main = do
 
-  pandocFilters <-
-    map ("tools" </>). nub . sort . map (-<.> "") . filter ("pandoc-" `isPrefixOf`)
-    <$> S.getDirectoryContents "tools"
+--  pandocFilters <-
+--    map ("tools" </>). nub . sort . map (-<.> "") . filter ("pandoc-" `isPrefixOf`)
+--    <$> S.getDirectoryContents "tools"
+  let pandocFilters =
+        [
+         "tools" </> "pandoc-demote-headers"
+        ,"tools" </> "pandoc-drop-html-blocks"
+        ,"tools" </> "pandoc-drop-html-inlines"
+        ,"tools" </> "pandoc-drop-links"
+        ,"tools" </> "pandoc-drop-notes"
+        ,"tools" </> "pandoc-drop-toc"
+        ]
 
   shakeArgs
     shakeOptions{