[no subject]

[Gavin D. Smith]

branch: master
commit dcc800988a55f4c36aaa74419780fa1d2d9aaea4
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Sun Apr 10 21:35:48 2022 +0100

    rm extra menu entry
---
 doc/texinfo.texi | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 21e7567917..83856b8fb8 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -17324,7 +17324,6 @@ Texinfo to Info.
 * @code{texinfo-format} commands::     Two Info formatting commands written
                                  in Emacs Lisp are an alternative
                                  to @code{makeinfo}.
-* Batch Formatting::            How to format for Info in Emacs batch mode.
 * Tag and Split Files::         How tagged and split files help Info
                                  to run better.
 @end menu