diff options
| author | Dave Love <fx@gnu.org> | 2000-09-03 21:19:21 +0000 |
|---|---|---|
| committer | Dave Love <fx@gnu.org> | 2000-09-03 21:19:21 +0000 |
| commit | 45751cb58cf6d1f4e04e2ea7fcacf31c26af11fe (patch) | |
| tree | 9794be7cfb1340b9c3122a0d5965603dc7c39969 /man | |
| parent | 44ef7cf637315562510888bacd5f94d848eddb58 (diff) | |
| download | emacs-45751cb58cf6d1f4e04e2ea7fcacf31c26af11fe.tar.gz | |
rms approved.
Diffstat (limited to 'man')
| -rw-r--r-- | man/emacs.texi | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/man/emacs.texi b/man/emacs.texi index 6e82e5eb1f7..7012cc7993d 100644 --- 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 |