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