[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: documentation: GFDL
From: |
Akim Demaille |
Subject: |
Re: documentation: GFDL |
Date: |
Sat, 18 Aug 2018 14:32:58 +0200 |
Hi!
> Le 9 oct. 2016 à 11:10, dine <address@hidden> a écrit :
>
> Hi--
> the documentation of GNU Bison includes a copy of the GFDL, however its title
> (i.e. the name of the license) is missing.
Thanks! I installed this in master (for Bison 3.1).
The first part of the patch is just formatting changes (M-q).
commit 2a9d32372ef1a07d3da778e974b3c332d1b81b87
Author: Akim Demaille <address@hidden>
Date: Sat Aug 18 14:27:13 2018 +0200
doc: fix the name of the GFDL section
Reported by dine <address@hidden>.
http://lists.gnu.org/archive/html/bug-bison/2016-10/msg00000.html
I mirrored what the Coreutils do.
* doc/bison.texi (Copying This Manual): Rename as...
(GNU Free Documentation License): this, since that the name we
used in the preamble.
diff --git a/doc/bison.texi b/doc/bison.texi
index 28c5e2b3..1d461fe1 100644
--- a/doc/bison.texi
+++ b/doc/bison.texi
@@ -39,18 +39,16 @@ Copyright @copyright{} 1988-1993, 1995, 1998-2015, 2018
Free Software
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.3 or any later version published by the Free Software
-Foundation; with no Invariant Sections, with the Front-Cover texts
-being ``A GNU Manual,'' and with the Back-Cover Texts as in
-(a) below. A copy of the license is included in the section entitled
-``GNU Free Documentation License.''
-
-(a) The FSF's Back-Cover Text is: ``You have the freedom to copy and
-modify this GNU manual. Buying copies from the FSF
-supports it in developing GNU and promoting software
-freedom.''
+Permission is granted to copy, distribute and/or modify this document under
+the terms of the GNU Free Documentation License, Version 1.3 or any later
+version published by the Free Software Foundation; with no Invariant
+Sections, with the Front-Cover texts being ``A GNU Manual,'' and with the
+Back-Cover Texts as in (a) below. A copy of the license is included in the
+section entitled ``GNU Free Documentation License.''
+
+(a) The FSF's Back-Cover Text is: ``You have the freedom to copy and modify
+this GNU manual. Buying copies from the FSF supports it in developing GNU
+and promoting software freedom.''
@end quotation
@end copying
@@ -110,7 +108,7 @@ Reference sections:
* FAQ:: Frequently Asked Questions
* Table of Symbols:: All the keywords of the Bison language are explained.
* Glossary:: Basic concepts are explained.
-* Copying This Manual:: License for copying this manual.
+* GNU Free Documentation License:: Copying and sharing this manual
* Bibliography:: Publications cited in this manual.
* Index of Terms:: Cross-references to the text.
@@ -390,7 +388,7 @@ Frequently Asked Questions
Copying This Manual
-* Copying This Manual:: License for copying this manual.
+* GNU Free Documentation License:: Copying and sharing this manual
@end detailmenu
@end menu
@@ -13461,8 +13459,9 @@ the parser's start state. A state can become
unreachable during conflict
resolution. @xref{Unreachable States}.
@end table
address@hidden Copying This Manual
address@hidden Copying This Manual
address@hidden GNU Free Documentation License
address@hidden GNU Free Documentation License
+
@include fdl.texi
@node Bibliography
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: documentation: GFDL,
Akim Demaille <=