Removing unnecessary .gitignores

18 files changed, 1 insertions, 38 deletions

diff --git a/src/.gitignore b/src/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/context/.gitignore b/src/context/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/context/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/expr/.gitignore b/src/expr/.gitignore
index 4618e07b0..6489199dc 100644
--- a/src/expr/.gitignore
+++ b/src/expr/.gitignore
@@ -1,4 +1,2 @@
-/.deps
-/Makefile.in
 /kind.h
 /metakind.h
diff --git a/src/include/.gitignore b/src/include/.gitignore
index b336cc7ce..274bc504a 100644
--- a/src/include/.gitignore
+++ b/src/include/.gitignore
@@ -1,2 +1,2 @@
 /Makefile
-/Makefile.in
+
diff --git a/src/main/.gitignore b/src/main/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/main/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/parser/.gitignore b/src/parser/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/parser/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/parser/cvc/.gitignore b/src/parser/cvc/.gitignore
deleted file mode 100644
index 7fd0cf319..000000000
--- a/src/parser/cvc/.gitignore
+++ /dev/null
@@ -1,4 +0,0 @@
-/.deps
-/stamp-generated
-/generated
-/Makefile.in
diff --git a/src/parser/smt/.gitignore b/src/parser/smt/.gitignore
deleted file mode 100644
index 7fd0cf319..000000000
--- a/src/parser/smt/.gitignore
+++ /dev/null
@@ -1,4 +0,0 @@
-/.deps
-/stamp-generated
-/generated
-/Makefile.in
diff --git a/src/prop/.gitignore b/src/prop/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/prop/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/prop/minisat/.gitignore b/src/prop/minisat/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/prop/minisat/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/smt/.gitignore b/src/smt/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/smt/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/theory/.gitignore b/src/theory/.gitignore
index daddcd51e..4d15f70c0 100644
--- a/src/theory/.gitignore
+++ b/src/theory/.gitignore
@@ -1,3 +1 @@
-/.deps
-/Makefile.in
 /theoryof_table.h
diff --git a/src/theory/arith/.gitignore b/src/theory/arith/.gitignore
deleted file mode 100644
index 15fb9b26d..000000000
--- a/src/theory/arith/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/Makefile.in
-/.deps
diff --git a/src/theory/arrays/.gitignore b/src/theory/arrays/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/theory/arrays/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/theory/booleans/.gitignore b/src/theory/booleans/.gitignore
deleted file mode 100644
index 10a7e8d6c..000000000
--- a/src/theory/booleans/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-/Makefile.in
diff --git a/src/theory/bv/.gitignore b/src/theory/bv/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/theory/bv/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in
diff --git a/src/theory/uf/.gitignore b/src/theory/uf/.gitignore
deleted file mode 100644
index 15fb9b26d..000000000
--- a/src/theory/uf/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/Makefile.in
-/.deps
diff --git a/src/util/.gitignore b/src/util/.gitignore
deleted file mode 100644
index f39e98071..000000000
--- a/src/util/.gitignore
+++ /dev/null
@@ -1,2 +0,0 @@
-/.deps
-/Makefile.in