; * doc/emacs/emacs-xtra.texi: Explain in a comment the purpose of this file.

2017-06-02 15:27:55 +03:00
parent 5e6481bdc5
commit ca575372ed
1 changed files with 4 additions and 0 deletions
--- 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.