(Conditions): Say that the exceptions apply only to C LALR(1) parsers.

diff --git a/doc/bison.texinfo b/doc/bison.texinfo
index 066213a6260733120f8cd80fa07a02a6ef3b6937..16b8685a75923b98f72e5f94fe46b7c7198a11d5 100644 (file)
--- a/doc/bison.texinfo
+++ b/doc/bison.texinfo
@@ -305,9 +305,9 @@ This edition corresponds to version @value{VERSION} of Bison.
 @unnumbered Conditions for Using Bison
 
 As of Bison version 1.24, we have changed the distribution terms for
 @unnumbered Conditions for Using Bison
 
 As of Bison version 1.24, we have changed the distribution terms for

-@code{yyparse} to permit using Bison's output in nonfree programs.
-Formerly, Bison parsers could be used only in programs that were free
-software.
+@code{yyparse} to permit using Bison's output in nonfree programs when
+Bison is generating C code for LALR(1) parsers.  Formerly, these
+parsers could be used only in programs that were free software.

 
 The other GNU programming tools, such as the GNU C compiler, have never
 had such a requirement.  They could always be used for nonfree
 
 The other GNU programming tools, such as the GNU C compiler, have never
 had such a requirement.  They could always be used for nonfree


@@ -329,6 +329,13 @@ encourage people to make other software free.  So we decided to make the
 practical conditions for using Bison match the practical conditions for
 using the other GNU tools.
 
 practical conditions for using Bison match the practical conditions for
 using the other GNU tools.
 

+This exception applies only when Bison is generating C code for a
+LALR(1) parser; otherwise, the GPL terms operate as usual.  You can
+tell whether the exception applies to your @samp{.c} output file by
+inspecting it to see whether it says ``As a special exception, when
+this file is copied by Bison into a Bison output file, you may use
+that output file without restriction.''
+

 @include gpl.texi
 
 @node Concepts
 @include gpl.texi
 
 @node Concepts