From 6b3118f02583e3c1ba4855e2ce17945616596907 Mon Sep 17 00:00:00 2001 From: Glenn Morris Date: Fri, 22 Dec 2017 16:22:13 -0500 Subject: [PATCH] * doc/emacs/arevert-xtra.texi (Auto Reverting the Buffer Menu): Fix ref. --- doc/emacs/arevert-xtra.texi | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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.) -- 2.39.5