1 files changed, 22 insertions, 0 deletions
diff --git a/travis/deploy_html_coverage.sh b/travis/deploy_html_coverage.sh
new file mode 100755
index 00000000..78236882
--- /dev/null
+++ b/travis/deploy_html_coverage.sh
@@ -0,0 +1,22 @@
+#!/bin/bash
+
+# Not used currently. See discussion of https://github.com/OSGeo/proj.4/pull/1035
+
+set -eu
+
+mkdir proj-coverage
+cd proj-coverage
+git init
+git config user.email "projbot@proj.bot"
+git config user.name "PROJ coveragebot"
+git config push.default matching
+git remote add origin git@github.com:OSGeo/proj-coverage.git
+
+cp -r ../coverage_html .
+echo "Results of coverage of PROJ test suite" > README.md
+echo "See http://rawgithub.com/OSGeo/proj-coverage/master/coverage_html/index.html" >> README.md
+git add -A > /dev/null
+git commit -m "update with results of commit https://github.com/OSGeo/proj.4/commit/$TRAVIS_COMMIT"
+git push -f origin master
+
+cd ..