[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Unlink GPL from bison.texinfo
From: |
Akim Demaille |
Subject: |
Re: Unlink GPL from bison.texinfo |
Date: |
10 Aug 2001 11:45:18 +0200 |
User-agent: |
Gnus/5.0808 (Gnus v5.8.8) XEmacs/21.4 (Academic Rigor) |
Pascal> Hi, I would unlink GPL from bison.texinfo, so I've download
Pascal> from GNU web site the `gpl.texi', and I include it in the
Pascal> `bison.texinfo' file (after deleting the GPL mentions from
Pascal> bison.texinfo). I don't know, if this is a good idea ? and
Pascal> I've a doubt about use of autoconf and automake to generate
Pascal> configure file.
Sounds like a good idea.
Don't forget to
1. cvs add doc/gpl.texi
2. doc/Makefile.am: add
bison_TEXINFOS = gpl.texi
Go ahead. We will problems later if you introduce some. Be sure to
have make distcheck work.