diff options
| author | Glenn Morris <rgm@gnu.org> | 2019-05-07 10:32:03 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2019-05-07 10:33:58 -0700 |
| commit | 6d03bbf02ad89e6a6a1534b8b1bdcb0fc6816bf4 (patch) | |
| tree | 0bc413dfb10cc9f1244e1fa1731934f148d15a78 /doc/emacs/files.texi | |
| parent | c972da907d494b6d5efd423aa3b5d0b23f7b7801 (diff) | |
| download | emacs-6d03bbf02ad89e6a6a1534b8b1bdcb0fc6816bf4.tar.gz | |
* doc/emacs/files.texi (Auto Revert): Fix makeinfo-4.13 compilation.
Diffstat (limited to 'doc/emacs/files.texi')
| -rw-r--r-- | doc/emacs/files.texi | 3 |
1 files changed, 3 insertions, 0 deletions
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 |