diff --git a/make/projects-dir.mk b/make/projects-dir.mk
index 32af7396..1245b229 100644
--- a/make/projects-dir.mk
+++ b/make/projects-dir.mk
@@ -31,7 +31,7 @@ cpp:
 		while read f; do d=`dirname $$f`; if [ $$d/generate_code.sh ]; then echo $$f; fi ;\
 	done
 
-clone diff diff commit push:
+clone diff commit push:
 	$(PGIT) $@
 
 git-push:
@@ -67,4 +67,6 @@ check-conv:
 		make git-conv-$$p ;\
 	done
 
+projects.txt:
+	echo $(PROJECTS) | sed 's/ /\n/g; s%/%%g' > $@