summaryrefslogtreecommitdiff
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)
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 @@
*.info
\#*\#
version.texi
+gnunet.info-1
+gnunet.info-2
+gnunet.info-3
+mdate-sh
+stamp-vti
+texinfo.tex