From 8484c678490b3eb46cf82c2a2e65871f85647fbf Mon Sep 17 00:00:00 2001
From: Matthias Maier <tamiko@43-1.org>
Date: Wed, 16 May 2018 15:10:10 -0500
Subject: [PATCH] Contrib: Rename download_codecov_bash.sh to download_codecov

---
 .../utilities/{download_codecov_bash.sh => download_codecov}    | 0
 doc/developers/testsuite.html                                   | 2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename contrib/utilities/{download_codecov_bash.sh => download_codecov} (100%)

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 56ffae53ae..41d8766f44 100644
--- 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>.
-- 
2.39.5