diff --git a/hledger-ui/hledger-ui.m4.md b/hledger-ui/hledger-ui.m4.md
index 234e697ef..8a3bce7a0 100644
--- a/hledger-ui/hledger-ui.m4.md
+++ b/hledger-ui/hledger-ui.m4.md
@@ -377,10 +377,6 @@ Default: the full terminal width.
 
 _LEDGER_FILE_
 
-# FILES
-
-It _inputfileswithptr_
-
 # BUGS
 
 _reportbugs_
diff --git a/hledger-web/hledger-web.m4.md b/hledger-web/hledger-web.m4.md
index ea591896c..a50f32178 100644
--- a/hledger-web/hledger-web.m4.md
+++ b/hledger-web/hledger-web.m4.md
@@ -419,10 +419,6 @@ To capture debug output in a log file instead, you can usually redirect stderr,
 
 _LEDGER_FILE_
 
-# FILES
-
-It _inputfileswithptr_
-
 # BUGS
 
 _reportbugs_