Re: GPL code issue?

Dave Page wrote:

>Hi,
>
>In src/backend/parser/parse.h there is a copyright that reads as below.
>Note the bottom section that says that the GPL is only excepted for
>files generated by Bison *from* this file. This implies to me that this
>file is GPL'd, and therefore shouldn't be in the tarball (or pgAdmin
>where Andreas wants to use it) - or have I missed something?
>
>
>/* As a special exception, when this file is copied by Bison into a
> Bison output file, you may use that output file without restriction.
> This special exception was added by the Free Software Foundation
> in version 1.24 of Bison. */
>
>

IMHO, parse.h and gram.c *are* bison output files, so the term 'this
file' is misleading.

Regards,
Andreas