diff --git a/Makefile b/Makefile
index f49d0bf96..697cf69fe 100644
--- a/Makefile
+++ b/Makefile
@@ -154,9 +154,9 @@ manual: $(TARGETS) $(EXTRA_TARGETS)
 clean:
 	rm -rvf share
 	cd manual && bash clean.sh
-	rm -vf $(OBJS) $(GENFILES) $(TARGETS)
+	rm -vf $(OBJS) $(GENFILES) $(TARGETS) $(EXTRA_TARGETS)
 	rm -vf kernel/version_*.o kernel/version_*.cc abc/abc-[0-9a-f]*
-	rm -vf libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d
+	rm -vf libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d techlibs/*/*.d
 	test ! -f libs/svgviewer/Makefile || make -C libs/svgviewer distclean
 
 mrproper: clean
@@ -193,6 +193,7 @@ config-sudo:
 -include passes/*/*.d
 -include backends/*/*.d
 -include kernel/*.d
+-include techlibs/*/*.d
 
 .PHONY: all top-all abc test install install-abc manual clean mrproper qtcreator
 .PHONY: config-clean config-clang-debug config-gcc-debug config-release