1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 35cbcde24..2fc573520 100644
--- a/Makefile
+++ b/Makefile
@@ -4,8 +4,10 @@ SRC_DIR  := src
 .PHONY: coq clean install coqprime update-_CoqProject
 .DEFAULT_GOAL := coq
 
+SORT_COQPROJECT = sed 's,[^/]*/,~&,g' | env LC_COLLATE=C sort | sed 's,~,,g'
+
 update-_CoqProject::
-	(echo '-R $(SRC_DIR) $(MOD_NAME)'; git ls-files src/*.v) > _CoqProject
+	(echo '-R $(SRC_DIR) $(MOD_NAME)'; (git ls-files "src/*.v" | $(SORT_COQPROJECT))) > _CoqProject
 
 coq: coqprime Makefile.coq
 	$(MAKE) -f Makefile.coq