From 6d03bbf02ad89e6a6a1534b8b1bdcb0fc6816bf4 Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Tue, 7 May 2019 10:32:03 -0700 Subject: [PATCH] * doc/emacs/files.texi (Auto Revert): Fix makeinfo-4.13 compilation. --- doc/emacs/files.texi | 3 +++ 1 file changed, 3 insertions(+) diff --git a/doc/emacs/files.texi b/doc/emacs/files.texi index c51d076fa28..36ef1dcea21 100644 --- a/doc/emacs/files.texi +++ b/doc/emacs/files.texi @@ -1031,6 +1031,9 @@ under version control. @xref{VC Mode Line}, for Auto Revert peculiarities when visiting files under version control. @ifnottex +@menu +* Non-File Buffers:: Auto Reverting Non-File Buffers. +@end menu @include arevert-xtra.texi @end ifnottex -- 2.39.2