[gnumach] 38/56: Drop Invariant, Front-Cover and Back-Cover references

[Samuel Thibault]

This is an automated email from the git hooks/post-receive script.

sthibault pushed a commit to branch master
in repository gnumach.

commit 31c3142b83c7c9ce1cab98c5edf1e5743dfa20db
Author: Samuel Thibault <address@hidden>
Date:   Tue Sep 24 23:23:23 2013 +0200

    Drop Invariant, Front-Cover and Back-Cover references
    
    The referenced Invariant sections does not exist, and the front and back
    covers do not hold much information.
---
 doc/mach.texi |   20 ++++----------------
 1 file 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:
 

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-hurd/gnumach.git