Add GPL in an include file

[bison.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index b3ec1cd9098a1de73c21d56f9ac3adfab8a3535f..478280a0e8a4fb8ddd8ef412af1f2797528d1359 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2001-08-10  Pascal Bart  <pascal.bart@epita.fr>
+
+       * doc/bison.texinfo: Include GNU General Public License from 
+       `gpl.texi'.
+       * doc/gpl.texi: Add to package.
+
 2001-08-10  Marc Autret  <autret_m@epita.fr>
 
        * src/print_graph.h: Fix.