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) | |
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 uncrustify.cfg .style.yapf +diffoscope_reports/ + # this exists outside of the main repository cmake/ build |