diff options
author | ng0 <ng0@n0.is> | 2019-10-30 16:53:50 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-10-30 16:53:50 +0000 |
commit | 7f2ef3d249860ae72a43605170790401d72478f6 (patch) | |
tree | b5e47289ba9de1b76413fd0b1604d31ef51c4128 /.gitignore | |
parent | 707e547fe18eb9a009f9e06315460a2869c400c8 (diff) | |
download | gnunet-7f2ef3d249860ae72a43605170790401d72478f6.tar.gz gnunet-7f2ef3d249860ae72a43605170790401d72478f6.zip |
configure: add mandoc + texi2mdoc detection
doc/man: add man-html and man-html-install
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 0f3c0acdf..b337cc058 100644 --- a/.gitignore +++ b/.gitignore | |||
@@ -65,6 +65,8 @@ doc/tutorial/gversion.texi | |||
65 | uncrustify.cfg | 65 | uncrustify.cfg |
66 | .style.yapf | 66 | .style.yapf |
67 | 67 | ||
68 | diffoscope_reports/ | ||
69 | |||
68 | # this exists outside of the main repository | 70 | # this exists outside of the main repository |
69 | cmake/ | 71 | cmake/ |
70 | build | 72 | build |