maint: update gnu-web-doc-update.

[bison.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 9fc5e705eae6825e2cfb2b66d8bfbcbcab082efa..7be09c4db4f511ff05062c0b599b8867b586381b 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -19,7 +19,9 @@
 /bison.tp
 /bison.vr
 /cross-options.texi
 /bison.tp
 /bison.vr
 /cross-options.texi

+/fdl.texi

 /gendocs_template
 /gendocs_template

+/gpl-3.0.texi

 /refcard.dvi
 /refcard.log
 /refcard.ps
 /refcard.dvi
 /refcard.log
 /refcard.ps