diff --git a/doc/emacs/emacs-xtra.texi b/doc/emacs/emacs-xtra.texi
index d4d4860f952..32ed22fc5af 100644
--- a/doc/emacs/emacs-xtra.texi
+++ b/doc/emacs/emacs-xtra.texi
@@ -9,6 +9,10 @@
 @syncodeindex ky cp
 @comment %**end of header
 
+@c This is a separate manual to avoid making the Emacs User manual too
+@c large in print.  In the Info format, the chapters included below
+@c are part of the Emacs User manual.
+
 @copying
 This manual describes specialized features of Emacs.