From 6a687304c290befe96dbc3c3dd4925b9caaf6c75 Mon Sep 17 00:00:00 2001
From: Ali Caglayan <alizter@gmail.com>
Date: Tue, 19 Oct 2021 19:03:46 +0200
Subject: [PATCH] fix generate_coqproject.sh

---
 etc/generate_coqproject.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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