1 files changed, 7 insertions, 1 deletions

diff --git a/man/buffers.texi b/man/buffers.texi
index 3b3afc2eb92..693352248f5 100644
--- a/man/buffers.texi
+++ b/man/buffers.texi
@@ -480,7 +480,13 @@ every @code{auto-revert-interval} seconds if you enable Auto Revert
 mode in this buffer, as long as it is not marked modified.  Global
 Auto Revert mode applies to the @samp{*Buffer List*} buffer only if
 @code{global-auto-revert-non-file-buffers} is non-@code{nil}.
-@inforef{Autorevert,, emacs-xtra}, for details.
+@iftex
+@xref{Autorevert,,, emacs-xtra}, for details.
+@end iftex
+@ifnottex
+@xref{Autorevert, global-auto-revert-non-file-buffers}, for details.
+@end ifnottex
+
 
   The command @code{buffer-menu-other-window} works the same as
 @code{buffer-menu}, except that it displays the buffers list in