Hi! > Le 9 oct. 2016 à 11:10, dine <2500418...@qq.com> 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 <akim.demai...@gmail.com> Date: Sat Aug 18 14:27:13 2018 +0200 doc: fix the name of the GFDL section Reported by dine <2500418...@qq.com>. 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 -@node Copying This Manual -@appendix Copying This Manual +@node GNU Free Documentation License +@appendix GNU Free Documentation License + @include fdl.texi @node Bibliography