From: Chris Hanson <org/chris-hanson/cph>
Date: Mon, 24 Jul 2000 01:10:09 +0000 (+0000)
Subject: Add blank lines, which shouldn't matter, to work around bug in texi2html.
X-Git-Tag: 20090517-FFI~3322
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=e63b7ce99f274194e8b558d9ebea559ea20d1b3d;p=mit-scheme.git

Add blank lines, which shouldn't matter, to work around bug in texi2html.
---

diff --git a/v7/doc/imail/gfdl.texinfo b/v7/doc/imail/gfdl.texinfo
index 7f7f8f01b..b5b0f7a6d 100644
--- a/v7/doc/imail/gfdl.texinfo
+++ b/v7/doc/imail/gfdl.texinfo
@@ -8,6 +8,7 @@ Copyright (C) 2000  Free Software Foundation, Inc.
 Everyone is permitted to copy and distribute verbatim copies
 of this license document, but changing it is not allowed.
 @end display
+
 @sp 1
 @enumerate 0
 @item
@@ -96,6 +97,7 @@ this License requires to appear in the title page.  For works in
 formats which do not have any title page as such, ``Title Page'' means
 the text near the most prominent appearance of the work's title,
 preceding the beginning of the body of the text.
+
 @sp 1
 @item
 VERBATIM COPYING
@@ -112,6 +114,7 @@ number of copies you must also follow the conditions in section 3.
 
 You may also lend copies, under the same conditions stated above, and
 you may publicly display copies.
+
 @sp 1
 @item
 COPYING IN QUANTITY
@@ -150,6 +153,7 @@ the public.
 It is requested, but not required, that you contact the authors of the
 Document well before redistributing any large number of copies, to give
 them a chance to provide you with an updated version of the Document.
+
 @sp 1
 @item
 MODIFICATIONS
@@ -262,6 +266,7 @@ permission from the previous publisher that added the old one.
 The author(s) and publisher(s) of the Document do not by this License
 give permission to use their names for publicity for or to assert or
 imply endorsement of any Modified Version.
+
 @sp 1
 @item
 COMBINING DOCUMENTS
@@ -287,6 +292,7 @@ in the various original documents, forming one section entitled
 ``History''; likewise combine any sections entitled ``Acknowledgements'',
 and any sections entitled ``Dedications''.  You must delete all sections
 entitled ``Endorsements.''
+
 @sp 1
 @item
 COLLECTIONS OF DOCUMENTS
@@ -301,6 +307,7 @@ You may extract a single document from such a collection, and distribute
 it individually under this License, provided you insert a copy of this
 License into the extracted document, and follow this License in all
 other respects regarding verbatim copying of that document.
+
 @sp 1
 @item
 AGGREGATION WITH INDEPENDENT WORKS
@@ -319,6 +326,7 @@ copies of the Document, then if the Document is less than one quarter
 of the entire aggregate, the Document's Cover Texts may be placed on
 covers that surround only the Document within the aggregate.
 Otherwise they must appear on covers around the whole aggregate.
+
 @sp 1
 @item
 TRANSLATION
@@ -333,6 +341,7 @@ translation of this License provided that you also include the
 original English version of this License.  In case of a disagreement
 between the translation and the original English version of this
 License, the original English version will prevail.
+
 @sp 1
 @item
 TERMINATION
@@ -344,6 +353,7 @@ automatically terminate your rights under this License.  However,
 parties who have received copies, or rights, from you under this
 License will not have their licenses terminated so long as such
 parties remain in full compliance.
+
 @sp 1
 @item
 FUTURE REVISIONS OF THIS LICENSE