diff options
Diffstat (limited to 'doc/.gitignore')
| -rw-r--r-- | doc/.gitignore | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index d9de64ab..09095a4c 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,4 +1,3 @@ - /*.info* /*~ /.dirstamp @@ -20,6 +19,7 @@ /bison.tp /bison.vr /cross-options.texi +/fdl.texi /gendocs_template /refcard.dvi /refcard.log @@ -27,4 +27,3 @@ /stamp-vti /version.texi /yacc.1 - |