From: Glenn Morris <rgm@gnu.org>
Date: Tue, 7 May 2019 17:32:03 +0000 (-0700)
Subject: * doc/emacs/files.texi (Auto Revert): Fix makeinfo-4.13 compilation.
X-Git-Tag: emacs-27.0.90~2951
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=6d03bbf02ad89e6a6a1534b8b1bdcb0fc6816bf4;p=emacs.git

* doc/emacs/files.texi (Auto Revert): Fix makeinfo-4.13 compilation.
---

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