diff --git a/.gitignore b/.gitignore index e802e07..d51a447 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ +lib doc/html doc/latex doc/man