diff --git a/.gitignore b/.gitignore index 6d33657c..54df5581 100644 --- a/.gitignore +++ b/.gitignore @@ -13,6 +13,7 @@ config.status # generated folder include/ +modules/ docs/src/tmp autom4te.cache