rms approved.

diff --git a/man/emacs.texi b/man/emacs.texi
index 6e82e5eb1f79fd3240203977dddaee970db9e986..7012cc7993d15841b3c75fee7e4040ac7af60ae5 100644 (file)
--- a/man/emacs.texi
+++ b/man/emacs.texi
@@ -35,14 +35,6 @@ License''.
 (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