From 33e08a7d8646c34d29cd2da6897f5f973261a6ad Mon Sep 17 00:00:00 2001
From: Everett Hildenbrandt <hildenb2@illinois.edu>
Date: Tue, 17 Apr 2018 20:25:06 -0600
Subject: [PATCH] Shake.hs, tools/pandoc-demote-headers: switch to lua script
 filter

---
 Shake.hs                        |  8 ++++----
 tools/pandoc-demote-headers.hs  | 14 --------------
 tools/pandoc-demote-headers.lua |  3 +++
 3 files changed, 7 insertions(+), 18 deletions(-)
 delete mode 100755 tools/pandoc-demote-headers.hs
 create mode 100644 tools/pandoc-demote-headers.lua

diff --git a/Shake.hs b/Shake.hs
index c61b3ffef..f33591dac 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -82,8 +82,8 @@ main = do
 --    <$> S.getDirectoryContents "tools"
   let pandocFilters =
         [
-         "tools" </> "pandoc-demote-headers"
-        ,"tools" </> "pandoc-drop-html-blocks"
+        --- "tools" </> "pandoc-demote-headers"
+         "tools" </> "pandoc-drop-html-blocks"
         ,"tools" </> "pandoc-drop-html-inlines"
         ,"tools" </> "pandoc-drop-links"
         ,"tools" </> "pandoc-drop-notes"
@@ -273,7 +273,7 @@ main = do
       cmd Shell
         "m4 -P -DMAN -DWEB -I" dir lib src "|"
         pandoc "-f markdown -t markdown-fenced_divs --atx-headers"
-        "--filter tools/pandoc-demote-headers"
+        "--lua-filter tools/pandoc-demote-headers.lua"
         -- "--filter tools/pandoc-add-toc"
         -- "--filter tools/pandoc-drop-man-blocks"
         ">>" out
@@ -290,7 +290,7 @@ main = do
           -- "--filter tools/pandoc-drop-man-blocks"
           "--filter tools/pandoc-drop-toc"
           -- "--filter tools/pandoc-capitalize-headers"
-          "--filter tools/pandoc-demote-headers"
+          "--lua-filter tools/pandoc-demote-headers.lua"
           ">>" webmanall :: Action ExitCode
 
     -- adjust and combine recipe mds for single-page web output, using pandoc
diff --git a/tools/pandoc-demote-headers.hs b/tools/pandoc-demote-headers.hs
deleted file mode 100755
index 78a7cd13a..000000000
--- a/tools/pandoc-demote-headers.hs
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/usr/bin/env stack
-{- stack runghc --verbosity info --package pandoc-types -}
-
-import Text.Pandoc.JSON
-import Text.Pandoc.Walk
-import Data.Char (toUpper)
-
-main :: IO ()
-main = toJSONFilter demoteHeaders
-
-demoteHeaders :: Block -> Block
-demoteHeaders (Header l attr xs) = Header (l+1) attr xs
-demoteHeaders x = x
-
diff --git a/tools/pandoc-demote-headers.lua b/tools/pandoc-demote-headers.lua
new file mode 100644
index 000000000..ec2b0fd2d
--- /dev/null
+++ b/tools/pandoc-demote-headers.lua
@@ -0,0 +1,3 @@
+function Header(h)
+    return pandoc.Header(h.level + 1, h.content, h.attrs)
+end