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

This commit is contained in:
Glenn Morris 2019-05-07 10:32:03 -07:00
parent c972da907d
commit 6d03bbf02a

View file

@ -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