Merge remote-tracking branch 'origin/maint'

[bison.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 8b47da299e333ec88a2755fe35b1aa5e172c7e70..221cbd4404e366a8c193f9b3a04cd32830da1fb4 100644 (file)
--- 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