diff options
| author | Glenn Morris | 2019-05-07 10:32:03 -0700 |
|---|---|---|
| committer | Glenn Morris | 2019-05-07 10:33:58 -0700 |
| commit | 6d03bbf02ad89e6a6a1534b8b1bdcb0fc6816bf4 (patch) | |
| tree | 0bc413dfb10cc9f1244e1fa1731934f148d15a78 | |
| parent | c972da907d494b6d5efd423aa3b5d0b23f7b7801 (diff) | |
| download | emacs-6d03bbf02ad89e6a6a1534b8b1bdcb0fc6816bf4.tar.gz emacs-6d03bbf02ad89e6a6a1534b8b1bdcb0fc6816bf4.zip | |
* doc/emacs/files.texi (Auto Revert): Fix makeinfo-4.13 compilation.
| -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 | |||
| 1031 | peculiarities when visiting files under version control. | 1031 | peculiarities when visiting files under version control. |
| 1032 | 1032 | ||
| 1033 | @ifnottex | 1033 | @ifnottex |
| 1034 | @menu | ||
| 1035 | * Non-File Buffers:: Auto Reverting Non-File Buffers. | ||
| 1036 | @end menu | ||
| 1034 | @include arevert-xtra.texi | 1037 | @include arevert-xtra.texi |
| 1035 | @end ifnottex | 1038 | @end ifnottex |
| 1036 | 1039 | ||