diff options
Diffstat (limited to 'doc/.gitignore')
-rw-r--r-- | doc/.gitignore | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index 25617d1b0..f46d61e70 100644 --- a/doc/.gitignore +++ b/doc/.gitignore | |||
@@ -8,11 +8,13 @@ | |||
8 | *.html | 8 | *.html |
9 | *~ | 9 | *~ |
10 | *.info | 10 | *.info |
11 | *.info-1 | ||
12 | *.info-2 | ||
13 | *.info-3 | ||
11 | \#*\# | 14 | \#*\# |
12 | version.texi | 15 | version.texi |
13 | gnunet.info-1 | ||
14 | gnunet.info-2 | ||
15 | gnunet.info-3 | ||
16 | mdate-sh | 16 | mdate-sh |
17 | stamp-vti | 17 | stamp-vti |
18 | texinfo.tex | 18 | texinfo.tex |
19 | gnunet.t2p/ | ||
20 | gnunet-c-tutorial.t2p/ \ No newline at end of file | ||