From: Karl Berry <karl@freefriends.org>
Date: Wed, 26 Mar 2003 13:53:50 +0000 (+0000)
Subject: update from fencepost
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=34713b4cb9a1da42ff6aa7ff96a374a12c96306e;p=pspp

update from fencepost
---

diff --git a/doc/COPYING.DOC b/doc/COPYING.DOC
index c5e7539cfa..d1e3b79e0e 100644
--- a/doc/COPYING.DOC
+++ b/doc/COPYING.DOC
@@ -377,8 +377,8 @@ license notices just after the title page:
     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 no Invariant Sections, no Front-Cover Texts, and no Back-Cover
-    Texts.  A copy of the license is included in the section entitled "GNU
+    with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
+    A copy of the license is included in the section entitled "GNU
     Free Documentation License".
 
 If you have Invariant Sections, Front-Cover Texts and Back-Cover Texts,