Merge pull request #1586 from Alizter/fix-generate-coqproject

fix generate_coqproject.sh
HoTT · Oct 20, 2021 · 27e93b2 · 27e93b2
2 parents d2a4c7d + 6a68730
commit 27e93b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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