aboutsummaryrefslogtreecommitdiff
path: root/doc/man/.gitignore
diff options
context:
space:
mode:
authorng0 <ng0@n0.is>2019-04-01 19:55:52 +0000
committerng0 <ng0@n0.is>2019-04-01 19:55:52 +0000
commit14885fb5b1af5b3e4ae15b23201ac3e5b6e11667 (patch)
tree25a3c20cb64847307d46ca1edca96b743a424d67 /doc/man/.gitignore
parentd9415604a052facf2be3f684de176a94dd37f660 (diff)
downloadgnunet-14885fb5b1af5b3e4ae15b23201ac3e5b6e11667.tar.gz
gnunet-14885fb5b1af5b3e4ae15b23201ac3e5b6e11667.zip
#5616 - finish. fix texi2mdoc generation
Diffstat (limited to 'doc/man/.gitignore')
-rw-r--r--doc/man/.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/man/.gitignore b/doc/man/.gitignore
index f86ff75d1..38ed67872 100644
--- a/doc/man/.gitignore
+++ b/doc/man/.gitignore
@@ -1,3 +1,5 @@
1gnunet.conf.5 1gnunet.conf.5
2groff_lint.log 2groff_lint.log
3*.html 3*.html
4gnunet-c-tutorial.7
5gnunet-documentation.7