diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2018-04-16 06:45:11 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2018-04-16 06:45:11 -0700 |
| commit | c80fe85807b4f5b66815a195c629bc22be4ee69c (patch) | |
| tree | 3550bd77ac9689b89601b9af6399d1a6efb0938b /Makefile | |
| parent | d8d52dfd3e7f2eb73667eaad81a8030fa6e7df76 (diff) | |
| download | txr-c80fe85807b4f5b66815a195c629bc22be4ee69c.tar.gz txr-c80fe85807b4f5b66815a195c629bc22be4ee69c.tar.bz2 txr-c80fe85807b4f5b66815a195c629bc22be4ee69c.zip | |
parser: propagate copyright to generated parser.
* parser.y: Move the copyright comment header into the
%{ ... %} section so that it is copied to the generated
parser, rathe than stripped away by the generator. The
problem is that Bison adds a GPL header to the file wrongly
implying that the whole thing is under the GPL (with a special
exception). Without our copyright header there, it looks
as if the whole file is from Bison.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions