diff options
author | ng0 <ng0@n0.is> | 2019-04-01 19:55:52 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-04-01 19:55:52 +0000 |
commit | 14885fb5b1af5b3e4ae15b23201ac3e5b6e11667 (patch) | |
tree | 25a3c20cb64847307d46ca1edca96b743a424d67 /doc/man/.gitignore | |
parent | d9415604a052facf2be3f684de176a94dd37f660 (diff) | |
download | gnunet-14885fb5b1af5b3e4ae15b23201ac3e5b6e11667.tar.gz gnunet-14885fb5b1af5b3e4ae15b23201ac3e5b6e11667.zip |
#5616 - finish. fix texi2mdoc generation
Diffstat (limited to 'doc/man/.gitignore')
-rw-r--r-- | doc/man/.gitignore | 2 |
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 @@ | |||
1 | gnunet.conf.5 | 1 | gnunet.conf.5 |
2 | groff_lint.log | 2 | groff_lint.log |
3 | *.html | 3 | *.html |
4 | gnunet-c-tutorial.7 | ||
5 | gnunet-documentation.7 | ||