From 95c9af5664b05a9b1351847d4fc79d98d8cc2ac5 Mon Sep 17 00:00:00 2001
From: Everett Hildenbrandt <hildenb2@illinois.edu>
Date: Sun, 22 Apr 2018 22:16:49 -0600
Subject: [PATCH] Shake.hs, tools/pandoc-drop-notes: remove unused filter

---
 Shake.hs                    | 2 --
 tools/pandoc-drop-notes.lua | 3 ---
 2 files changed, 5 deletions(-)
 delete mode 100644 tools/pandoc-drop-notes.lua

diff --git a/Shake.hs b/Shake.hs
index a10c55957..152899b09 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -207,7 +207,6 @@ 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"
-        "--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 +234,6 @@ 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"
-        "--lua-filter tools/pandoc-drop-notes.lua"
         "-t texinfo |"
         makeinfo "--force --no-split -o" out
 
diff --git a/tools/pandoc-drop-notes.lua b/tools/pandoc-drop-notes.lua
deleted file mode 100644
index 3c185d1c5..000000000
--- a/tools/pandoc-drop-notes.lua
+++ /dev/null
@@ -1,3 +0,0 @@
-function Note(nt)
-    return pandoc.Str("")
-end