Merge "docs: Remove 'code-coverage' placeholder directory"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 31 Jan 2019 00:01:57 +0000 (00:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 31 Jan 2019 00:01:57 +0000 (00:01 +0000)
.gitignore
docs/code-coverage/README [deleted file]
tests/phpunit/Makefile

index 2f17bc6..d25d525 100644 (file)
@@ -25,6 +25,7 @@ sftp-config.json
 
 # MediaWiki install & usage
 /cache
+/docs/coverage
 /docs/js
 /images/[0-9a-f]
 /images/archive
diff --git a/docs/code-coverage/README b/docs/code-coverage/README
deleted file mode 100644 (file)
index 76ce9bd..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-This directory is for the auto-generated phpunit code coverage.
-Run 'make coverage' in the tests/phpunit subdirectory to build.
index d34e183..26d5217 100644 (file)
@@ -39,7 +39,7 @@ tap:
        ${PU} --tap
 
 coverage:
-       ${PU} --coverage-html ../../docs/code-coverage
+       ${PU} --coverage-html ../../docs/coverage
 
 parser:
        ${PU} --group Parser