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

diff --git a/doc/emacs/files.texi b/doc/emacs/files.texi
index c51d076fa2812458d9b42d747b35fd8d5e6ec5c3..36ef1dcea21ff76f438eb3817cfd3c0563e4c8bd 100644 (file)
--- 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