diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/man/.gitignore b/man/.gitignore index 5fc607b9e2f..b60d7fc395a 100644 --- a/man/.gitignore +++ b/man/.gitignore @@ -1 +1,3 @@ /Makefile +/*.8 +/doctrees |