aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2017-10-04 14:41:27 +0200
committerChristian Grothoff <christian@grothoff.org>2017-10-04 14:41:27 +0200
commit2c50cc88764a2f05e320bc36c1e149d79fbf67a4 (patch)
tree783b0224a237789edc1aa606d51b765c30eebbd7 /doc/.gitignore
parenteb64cc59fb153887e0d3e5045ebdccdb53d16283 (diff)
downloadgnunet-2c50cc88764a2f05e320bc36c1e149d79fbf67a4.tar.gz
gnunet-2c50cc88764a2f05e320bc36c1e149d79fbf67a4.zip
ignore generated files
Diffstat (limited to 'doc/.gitignore')
-rw-r--r--doc/.gitignore6
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\#*\#
12version.texi 12version.texi
13gnunet.info-1
14gnunet.info-2
15gnunet.info-3
16mdate-sh
17stamp-vti
18texinfo.tex