Add GPL in an include file

This commit is contained in:
Pascal Bart
2001-08-10 17:21:49 +00:00
parent 09a6de7e50
commit c67a198d15
3 changed files with 8 additions and 392 deletions

View File

@@ -3,6 +3,7 @@ AUTOMAKE_OPTIONS = 1.4
info_TEXINFOS = bison.texinfo
man_MANS = bison.1
bison_TEXINFOS = gpl.texi
EXTRA_DIST = FAQ bison.1 bison.rnh refcard.tex