summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/mach.texi20
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: