diff --git a/.circleci/report-coverage.sh b/.circleci/report-coverage.sh
index 61be54a39efc1ae117d1e305654ef85ef40e40c1..c10f5d87521883d1a2365df26c9361f4a6b9a062 100755
--- a/.circleci/report-coverage.sh
+++ b/.circleci/report-coverage.sh
@@ -1,5 +1,6 @@
 #! /usr/bin/env nix-shell
 #! nix-shell -i bash -p "python.withPackages (ps: [ ps.codecov ])"
+find ./result-doc/share/doc
 cp ./result-doc/share/doc/*/.coverage.* ./
 python -m coverage combine
 python -m coverage report