diff options
| author | Glenn Morris <rgm@gnu.org> | 2017-12-22 16:22:13 -0500 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2017-12-22 16:22:13 -0500 |
| commit | 6b3118f02583e3c1ba4855e2ce17945616596907 (patch) | |
| tree | f18adfee91e4b3969af11a73b1c137e893553f43 /doc | |
| parent | 7ffb7b1e013284bfccf262778a91198331f1eb2b (diff) | |
| download | emacs-6b3118f02583e3c1ba4855e2ce17945616596907.tar.gz | |
* doc/emacs/arevert-xtra.texi (Auto Reverting the Buffer Menu):
Fix ref.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/emacs/arevert-xtra.texi | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/emacs/arevert-xtra.texi b/doc/emacs/arevert-xtra.texi index 936930e3b95..3adc87b8b5e 100644 --- a/doc/emacs/arevert-xtra.texi +++ b/doc/emacs/arevert-xtra.texi @@ -47,7 +47,13 @@ explained in the corresponding sections. @subsection Auto Reverting the Buffer Menu If auto-reverting of non-file buffers is enabled, the Buffer Menu -(@pxref{Several Buffers}) automatically reverts every +@iftex +(@pxref{Several Buffers,,, emacs, the Emacs Manual}) +@end iftex +@ifnottex +(@pxref{Several Buffers}) +@end ifnottex +automatically reverts every @code{auto-revert-interval} seconds, whether there is a need for it or not. (It would probably take longer to check whether there is a need than to actually revert.) |