Merge pull request #10130 from tweag/remove-autoconf-gen-files

Remove and gitignore the autoreconf generated files
2024-03-03 19:58:22 +01:00
parent dfb05f3957 f8dc9bc563
commit fa17ec6b3e
3 changed files with 1 additions and 3560 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -10,6 +10,7 @@ perl/Makefile.config
 /stamp-h1
 /svn-revision
 /libtool
+/config/config.*

 # /doc/manual/
 /doc/manual/*.1
--- a/config/config.guess
+++ b/config/config.guess
--- a/config/config.sub
+++ b/config/config.sub