Added update-doc target

scripts/updatecoverage.sh

@@ -0,0 +1,18 @@
+#!/usr/bin/env bash
+
+# Updates the coverage documentation, and copies it into the appropriate place
+# in the gh-pages branch.
+
+set -e
+
+tempdir=`mktemp -d`
+
+make coverage COVERAGE_OUTPUT=${tempdir}/coverage
+
+git checkout gh-pages
+
+rm -rf assets/coverage
+
+cp -r ${tempdir}/coverage* assets/coverage/
+
+rm -rf ${tempdir}