diff --git a/.gitignore b/.gitignore index 85a438d10..219dcdea9 100644 --- a/.gitignore +++ b/.gitignore @@ -2,6 +2,7 @@ /config.status /Doxyfile /setupenv.bash +/autom4te.cache doc/*.gz doc/*.mtree