diff options
| -rw-r--r-- | doc/emacs/arevert-xtra.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/emacs/arevert-xtra.texi b/doc/emacs/arevert-xtra.texi index f2151186555..94d7dfc3e10 100644 --- a/doc/emacs/arevert-xtra.texi +++ b/doc/emacs/arevert-xtra.texi | |||
| @@ -6,7 +6,7 @@ | |||
| 6 | @c This file is included either in emacs-xtra.texi (when producing the | 6 | @c This file is included either in emacs-xtra.texi (when producing the |
| 7 | @c printed version) or in the main Emacs manual (for the on-line version). | 7 | @c printed version) or in the main Emacs manual (for the on-line version). |
| 8 | @node Autorevert | 8 | @node Autorevert |
| 9 | @section Auto Reverting non-file Buffers | 9 | @section Auto Reverting Non-File Buffers |
| 10 | 10 | ||
| 11 | Global Auto Revert Mode normally only reverts file buffers. There are | 11 | Global Auto Revert Mode normally only reverts file buffers. There are |
| 12 | two ways to auto-revert certain non-file buffers: enabling Auto Revert | 12 | two ways to auto-revert certain non-file buffers: enabling Auto Revert |
| @@ -39,9 +39,9 @@ The details depend on the particular types of buffers and are | |||
| 39 | explained in the corresponding sections. | 39 | explained in the corresponding sections. |
| 40 | 40 | ||
| 41 | @menu | 41 | @menu |
| 42 | * Auto Reverting the Buffer Menu:: | 42 | * Auto Reverting the Buffer Menu:: Auto Revert of the Buffer Menu. |
| 43 | * Auto Reverting Dired:: | 43 | * Auto Reverting Dired:: Auto Revert of Dired buffers. |
| 44 | * Supporting additional buffers:: | 44 | * Supporting additional buffers:: How to add more Auto Revert support. |
| 45 | @end menu | 45 | @end menu |
| 46 | 46 | ||
| 47 | @node Auto Reverting the Buffer Menu | 47 | @node Auto Reverting the Buffer Menu |