* doc/emacs/arevert-xtra.texi (Auto Reverting the Buffer Menu):

Fix ref.

diff --git a/doc/emacs/arevert-xtra.texi b/doc/emacs/arevert-xtra.texi
index 936930e3b9570ea449e0b9e7aaa2d1f8474815ee..3adc87b8b5ed1c032b971edad8057750bc6c756f 100644 (file)
--- 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.)