bug-bison
[Top][All Lists]
Advanced

[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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]