diff --git a/man/emacs.texi b/man/emacs.texi
index 533955bfa85..5bdaecb2dde 100644
--- a/man/emacs.texi
+++ b/man/emacs.texi
@@ -1586,12 +1586,7 @@ Public License instead of this License.
 
 @include doclicense.texi
 @include cmdargs.texi
-@iftex
-@include xresmini.texi
-@end iftex
-@ifnottex
 @include xresources.texi
-@end ifnottex
 
 @include anti.texi
 @include macos.texi