# HG changeset patch
# User Dave Love <fx@gnu.org>
# Date 968015961 0
# Node ID d4d73ac5219ecac1875a41d6a72d535db946c1b4
# Parent  d883244d9cf4cb9609665304f1568f09b96791b7
rms approved.

diff -r d883244d9cf4 -r d4d73ac5219e man/emacs.texi
--- a/man/emacs.texi	Sun Sep 03 17:51:29 2000 +0000
+++ b/man/emacs.texi	Sun Sep 03 21:19:21 2000 +0000
@@ -35,14 +35,6 @@
 (a) The FSF's Back-Cover Text is: ``You have freedom to copy and modify
 this GNU Manual, like GNU software.  Copies published by the Free
 Software Foundation raise funds for GNU development.''
-
-@ignore
-Permission is granted to process this file through TeX and print the
-results, provided the printed document carries copying permission
-notice identical to this one except for the removal of this paragraph
-(this paragraph not being relevant to the printed manual).
-
-@end ignore
 @end ifnottex
 
 @c in general, keep the following line commented out, unless doing a