diff options
-rw-r--r-- | doc/mach.texi | 20 |
1 files changed, 4 insertions, 16 deletions
diff --git a/doc/mach.texi b/doc/mach.texi index 5bfff23..9ad9e70 100644 --- a/doc/mach.texi +++ b/doc/mach.texi @@ -38,22 +38,10 @@ Foundation, Inc. @quotation Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or -any later version published by the Free Software Foundation; with the -Invariant Sections being ``Free Software Needs Free Documentation'' and -``GNU Lesser General Public License'', the Front-Cover texts being (a) -(see below), and with the Back-Cover Texts being (b) (see below). A -copy of the license is included in the section entitled ``GNU Free -Documentation License''. - -(a) The FSF's Front-Cover Text is: - - A GNU Manual - -(b) 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. +any later version published by the Free Software Foundation; with no +Invariant Section, with no Front-Cover Texts, and with no Back-Cover +Texts. A copy of the license is included in the section entitled +``GNU Free Documentation License''. This work is based on manual pages under the following copyright and license: |