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