Re: GPL code issue?

"Dave Page" <dpage@vale-housing.co.uk> writes:
> 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,

No.  The text in question is copied verbatim from some Bison component
file that supplies a lot of fixed boilerplate for Bison output files.
It's not very well phrased, perhaps, but their intent is clearly to
exempt Bison output files from the GPL, and this *is* a Bison output
file.

            regards, tom lane