diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2015-07-04 08:33:54 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2015-07-04 08:38:43 -0700 |
commit | 89ba3a292ab3fc76a9293c49f2a40953948eaac4 (patch) | |
tree | 4f72f5c7abb54aee47ac0309ef2f7409d58ed3e6 /doc | |
parent | 4ced7bc93f152981cebc8a001f7f1f6b031fec78 (diff) | |
download | grep-89ba3a292ab3fc76a9293c49f2a40953948eaac4.tar.gz |
maint: ignore gendocs_template_min
* doc/.gitignore: Add '/gendocs_template_min'.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index a059eaeb..ac147d27 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -2,6 +2,7 @@ /fdl.texi /fgrep.1 /gendocs_template +/gendocs_template_min /grep.info* /stamp-vti /version.texi |