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