diff options
author | Jim Meyering <meyering@redhat.com> | 2012-01-16 11:47:05 +0100 |
---|---|---|
committer | Jim Meyering <meyering@redhat.com> | 2012-01-19 06:56:12 +0100 |
commit | b87414a05e43ed270d5a88d365d0139f43acb34d (patch) | |
tree | c27ca8f4251bbc51c68045e9d39eb7424efb9eca /doc/.gitignore | |
parent | 411614fac478a60cf942dc5e2011a08178156d30 (diff) | |
download | bison-b87414a05e43ed270d5a88d365d0139f43acb34d.tar.gz |
maint: get gpl-3.0 from gnulib
* bootstrap.conf (gnulib_modules): Add gpl-3.0.
* doc/gpl-3.0.texi: Remove from version control, now that
we get it via gnulib.
* doc/.gitignore: Ignore it.
Diffstat (limited to 'doc/.gitignore')
-rw-r--r-- | doc/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index 8b47da29..221cbd44 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -20,6 +20,7 @@ /cross-options.texi /fdl.texi /gendocs_template +/gpl-3.0.texi /refcard.dvi /refcard.log /refcard.ps |