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 |