diff --git a/.gitignore b/.gitignore index e39c8aa9ad8d1ab178130a4f3afa2f7591b41bc5..aa4091b7ee3f8c2eb69f5c1132b531ea2cb53c38 100644 --- a/.gitignore +++ b/.gitignore @@ -45,3 +45,7 @@ data/dirconf.txt *.swp *.tmp install.log +*.1 +*-overrides.txt +*-sections.txt +*.types