diff --git a/.gitignore b/.gitignore
index 1efa7f0a..40c40ad6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -63,8 +63,6 @@
 /docs/vendor
 /giella-*.pc
 /misc/*
-/src/cg3/dependency.cg3
-/src/cg3/functions.cg3
 /src/cg3/generated-tag-list.cg3
 /src/cg3/valency-postspell.cg3
 /src/fst/filters/*-tags.txt
diff --git a/Makefile.am b/Makefile.am
index f38e8cf1..c3f55831 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -22,9 +22,10 @@ test: check
 
 # recurse all make devs just
 dev:
-	$(MAKE) dev -C tools/tokenisers
-	$(MAKE) dev -C tools/grammarcheckers
-	$(MAKE) dev -C tools/tts
+	-$(MAKE) dev -C tools/analysers
+	-$(MAKE) dev -C tools/tokenisers
+	-$(MAKE) dev -C tools/grammarcheckers
+	-$(MAKE) dev -C tools/tts
 
 # Remove html tables created by some of the developer tools:
 clean-local: