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) | |
download | gnunet-2c50cc88764a2f05e320bc36c1e149d79fbf67a4.tar.gz gnunet-2c50cc88764a2f05e320bc36c1e149d79fbf67a4.zip |
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 fba4b0527..25617d1b0 100644 --- a/doc/.gitignore +++ b/doc/.gitignore | |||
@@ -10,3 +10,9 @@ | |||
10 | *.info | 10 | *.info |
11 | \#*\# | 11 | \#*\# |
12 | version.texi | 12 | version.texi |
13 | gnunet.info-1 | ||
14 | gnunet.info-2 | ||
15 | gnunet.info-3 | ||
16 | mdate-sh | ||
17 | stamp-vti | ||
18 | texinfo.tex | ||