diff --git a/etc/generate_coqproject.sh b/etc/generate_coqproject.sh
index 124db0623ed..417dedb70e2 100644
--- a/etc/generate_coqproject.sh
+++ b/etc/generate_coqproject.sh
@@ -3,7 +3,7 @@ if [ -e .git ]; then
   TRACKED_V_FILES="$(git ls-files "*.v")"
 else
   echo "Warning: Not a git clone, using find instead" >&2
-  TRACKED_V_FILES="$(find theories/ contrib/ -type f -name "*.v")"
+  TRACKED_V_FILES="$(find theories contrib -type f -name "*.v")"
 fi
 
 ## List untracked .v files