diff --git a/.gitignore b/.gitignore index bf915c4d7..9d66e6e0a 100644 --- a/.gitignore +++ b/.gitignore @@ -10,3 +10,5 @@ *man7 *man8 *.tmp +# ignore the documentation build files +docs/build