prepare for the next release

uw-pluverse · Nov 7, 2023 · 903a5a0 · 903a5a0
1 parent 2e3856f
commit 903a5a0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/scripts/copy_to_public_repo.sh b/scripts/copy_to_public_repo.sh
@@ -50,5 +50,8 @@ for entry in $(git -C "$PUBLIC_REPO_DIR" ls-tree --name-only HEAD); do
   cp -rf "$(basename "${entry}")" "${PUBLIC_REPO_DIR}/"
 done
 
+for entry in $(find . -maxdepth 1 -type f); do
+  cp "${entry}" "${PUBLIC_REPO_DIR}/"
+done
 echo
 echo "Done."