maint: get gpl-3.0 from gnulib

[bison.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 09095a4c357cacb25a582cb686b708e0fa106f2e..7be09c4db4f511ff05062c0b599b8867b586381b 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -21,6 +21,7 @@
 /cross-options.texi
 /fdl.texi
 /gendocs_template
+/gpl-3.0.texi
 /refcard.dvi
 /refcard.log
 /refcard.ps