diff --git a/.gitignore b/.gitignore
index f5ab3c0f2..eb8d6d3f0 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,16 +3,13 @@
 *.ttc
 *.ttm
 
-*.dSYM
-
 /build
 
-/dist/idris2.c
-
-/docs/build/
-
 /libs/**/build
+
 /tests/**/output
 /tests/**/*.so
 /tests/**/*.dylib
 /tests/**/*.dll
+
+/src/IdrisPaths.idr
diff --git a/libs/network/.gitignore b/libs/network/.gitignore
index d4d0722cc..16cb2adfc 100644
--- a/libs/network/.gitignore
+++ b/libs/network/.gitignore
@@ -3,6 +3,8 @@
 *.d
 *.o
 *.obj
+*.a
+*.lib
 *.so
 *.dylib
 *.dll
diff --git a/support/c/.gitignore b/support/c/.gitignore
new file mode 100644
index 000000000..4077c8d7f
--- /dev/null
+++ b/support/c/.gitignore
@@ -0,0 +1,8 @@
+*.d
+*.o
+*.obj
+*.a
+*.lib
+*.so
+*.dylib
+*.dll