From fbc9c63c62e79acfc894d6b59843ea3b68930035 Mon Sep 17 00:00:00 2001 From: Everett Hildenbrandt Date: Sat, 21 Apr 2018 16:26:18 -0600 Subject: [PATCH] Shake.hs, tools/pandoc-drop-notes: switch to lua script filter --- Shake.hs | 8 ++++---- tools/pandoc-drop-notes.hs | 12 ------------ tools/pandoc-drop-notes.lua | 3 +++ 3 files changed, 7 insertions(+), 16 deletions(-) delete mode 100755 tools/pandoc-drop-notes.hs create mode 100644 tools/pandoc-drop-notes.lua diff --git a/Shake.hs b/Shake.hs index f6efd5283..a10c55957 100755 --- a/Shake.hs +++ b/Shake.hs @@ -86,8 +86,8 @@ main = do --- "tools" "pandoc-drop-html-blocks" --- "tools" "pandoc-drop-html-inlines" --- "tools" "pandoc-drop-links" - "tools" "pandoc-drop-notes" - ,"tools" "pandoc-drop-toc" + --- "tools" "pandoc-drop-notes" + "tools" "pandoc-drop-toc" ] shakeArgs @@ -207,7 +207,7 @@ main = do "--lua-filter tools/pandoc-drop-html-blocks.lua" "--lua-filter tools/pandoc-drop-html-inlines.lua" "--lua-filter tools/pandoc-drop-links.lua" - "--filter tools/pandoc-drop-notes" + "--lua-filter tools/pandoc-drop-notes.lua" "-o" out -- render man page nroffs to fixed-width text for embedding in executables, with nroff @@ -235,7 +235,7 @@ main = do "--lua-filter tools/pandoc-drop-html-blocks.lua" "--lua-filter tools/pandoc-drop-html-inlines.lua" "--lua-filter tools/pandoc-drop-links.lua" - "--filter tools/pandoc-drop-notes" + "--lua-filter tools/pandoc-drop-notes.lua" "-t texinfo |" makeinfo "--force --no-split -o" out diff --git a/tools/pandoc-drop-notes.hs b/tools/pandoc-drop-notes.hs deleted file mode 100755 index 1a74e6ab4..000000000 --- a/tools/pandoc-drop-notes.hs +++ /dev/null @@ -1,12 +0,0 @@ -#!/usr/bin/env stack -{- stack runghc --verbosity info --package pandoc-types -} - -import Text.Pandoc.JSON - -main :: IO () -main = toJSONFilter dropNotes - -dropNotes :: Inline -> Inline -dropNotes (Note _) = Str "" -dropNotes x = x - diff --git a/tools/pandoc-drop-notes.lua b/tools/pandoc-drop-notes.lua new file mode 100644 index 000000000..3c185d1c5 --- /dev/null +++ b/tools/pandoc-drop-notes.lua @@ -0,0 +1,3 @@ +function Note(nt) + return pandoc.Str("") +end