diff --git a/man/.gitignore b/man/.gitignore index 5fc607b9e2f..b60d7fc395a 100644 --- a/man/.gitignore +++ b/man/.gitignore @@ -1 +1,3 @@ /Makefile +/*.8 +/doctrees