From ca575372ed608d503dcd01dc3a56a8dbddc3c095 Mon Sep 17 00:00:00 2001
From: Eli Zaretskii <eliz@gnu.org>
Date: Fri, 2 Jun 2017 15:27:55 +0300
Subject: [PATCH] ; * doc/emacs/emacs-xtra.texi: Explain in a comment the
 purpose of this file.

---
 doc/emacs/emacs-xtra.texi | 4 ++++
 1 file changed, 4 insertions(+)

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.
 
-- 
2.39.2