From f43a822c7d71202dd2bf7288de75c77af046cb3c Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Tue, 17 Feb 2009 19:06:56 +0000 Subject: [PATCH] add @insertcopying, bug#1988 --- doc/emacs/ChangeLog | 5 +++++ doc/emacs/emacs.texi | 11 +++++++---- 2 files changed, 12 insertions(+), 4 deletions(-) diff --git a/doc/emacs/ChangeLog b/doc/emacs/ChangeLog index f18210240b6..96a135e2e18 100644 --- a/doc/emacs/ChangeLog +++ b/doc/emacs/ChangeLog @@ -1,3 +1,8 @@ +2009-02-17 Karl Berry + + * emacs.texi (Top): Add @insertcopying before the master menu. + (Bug#1988) + 2009-02-17 Richard M Stallman * anti.texi (Antinews): Mention Babyl format. diff --git a/doc/emacs/emacs.texi b/doc/emacs/emacs.texi index 5ecef62d944..925153fac85 100644 --- a/doc/emacs/emacs.texi +++ b/doc/emacs/emacs.texi @@ -132,6 +132,8 @@ Also Running Shell Commands from Emacs and Sending Mail and Registers and Minibuffer. @end ignore +@insertcopying + @menu * Distrib:: How to get the latest Emacs distribution. * Copying:: The GNU General Public License gives you permission @@ -1082,10 +1084,11 @@ What is not allowed is to try to prevent others from further sharing any version of GNU Emacs that they might get from you. The precise conditions are found in the GNU General Public License that comes with Emacs and also appears in this manual@footnote{This manual is itself -covered by the GNU Free Documentation License. This license is -similar in spirit to the General Public License, but is more suitable -for documentation. @xref{GNU Free Documentation License}.}. -@xref{Copying}. +covered by the GNU Free Documentation License (see the reverse title +page in the printed manual or view the full source for online formats +to see the precise conditions). This license is similar in spirit to +the General Public License, but is more suitable for documentation. +@xref{GNU Free Documentation License}.}. @xref{Copying}. One way to get a copy of GNU Emacs is from someone else who has it. You need not ask for our permission to do so, or tell any one else; -- 2.39.5