diff --git a/doc/src/Developer/.gitignore b/doc/src/Developer/.gitignore
new file mode 100644
index 0000000000..38f7323f7b
--- /dev/null
+++ b/doc/src/Developer/.gitignore
@@ -0,0 +1,3 @@
+/developer.aux
+/developer.log
+/developer.toc
diff --git a/lib/scafacos/.gitignore b/lib/scafacos/.gitignore
new file mode 100644
index 0000000000..66523c0cb3
--- /dev/null
+++ b/lib/scafacos/.gitignore
@@ -0,0 +1,3 @@
+/scafacos*
+/includelink
+/liblink