diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-10-04 14:41:27 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-10-04 14:41:27 +0200 |
| commit | 2c50cc88764a2f05e320bc36c1e149d79fbf67a4 (patch) | |
| tree | 783b0224a237789edc1aa606d51b765c30eebbd7 /doc/.gitignore | |
| parent | eb64cc59fb153887e0d3e5045ebdccdb53d16283 (diff) | |
ignore generated files
Diffstat (limited to 'doc/.gitignore')
| -rw-r--r-- | doc/.gitignore | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index fba4b05270..25617d1b07 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -10,3 +10,9 @@ *.info \#*\# version.texi +gnunet.info-1 +gnunet.info-2 +gnunet.info-3 +mdate-sh +stamp-vti +texinfo.tex |