Contrib: Rename download_codecov_bash.sh to download_codecov

diff --git a/contrib/utilities/download_codecov_bash.sh b/contrib/utilities/download_codecov
similarity index 100%
rename from contrib/utilities/download_codecov_bash.sh
rename to contrib/utilities/download_codecov

diff --git a/doc/developers/testsuite.html b/doc/developers/testsuite.html
index 56ffae53aee40bba4dae54dc5017bc7e511e0044..41d8766f44f0be66a89eb714dbab6ddece500f17 100644 (file)
--- a/doc/developers/testsuite.html
+++ b/doc/developers/testsuite.html
@@ -374,7 +374,7 @@ ctest <...> -S ../tests/run_coverage.cmake
       <a href="http://cdash.kyomu.43-1.org/index.php?project=deal.II&display=project"
       target="_top">deal.II cdash site</a>.
       In case you download the coverage report uploader for Codecov via
-      <code>contrib/utilities/download_codecov_bash.sh</code>, the coverage
+      <code>contrib/utilities/download_codecov</code>, the coverage
       report will also be uploaded to the
       <a href="https://codecov.io/gh/dealii/dealii"
       target="_top">Codecov dashboard</a>.