summaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorng0 <ng0@infotropique.org>2017-09-26 15:07:23 +0000
committerng0 <ng0@infotropique.org>2017-09-26 15:07:23 +0000
commit0cd9329333ffb3bddf4c4b765f41bd8a66fe69c9 (patch)
treedb6cb16f6340f8c30b25ae1cc991b2f736bc6da3 /doc/.gitignore
parent62d08e3b8cc3facfd217f24983f12b27811eaea0 (diff)
doc/gitignore.
Diffstat (limited to 'doc/.gitignore')
-rw-r--r--doc/.gitignore5
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/.gitignore b/doc/.gitignore
index daa5ccaa0..fba4b0527 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,7 +1,6 @@
-gnunet-c-tutorial.aux
-gnunet-c-tutorial.out
-*.log
*.aux
+*.out
+*.log
*.pdf
*.toc
*.cp