development.md: Mention Coverity Scan

Modify the wording regarding our continuous integration tests to also
mention Coverity Scan.

1 files changed, 7 insertions, 5 deletions

diff --git a/web/input/development.md b/web/input/development.md
index 5981361..9bd128b 100644
--- a/web/input/development.md
+++ b/web/input/development.md
@@ -26,9 +26,9 @@ introduction][git-intro] or [some other Git documentation][git-ref], first.
 
 ### Integration Tests
 
-We have integrated [continuous integration tests][ci-tests] into our
-development workflow. This should ensure that we are aware of trivial build
-problems. This service is kindly hosted by [Travis CI][travis-start].
+Our development workflow includes [continuous integration
+tests][travis-project] hosted by [Travis CI][travis] and [static code
+analysis][coverity-project] performed by [Coverity Scan][coverity].
 
 * Travis CI build status ([master branch][master-branch]): ![Build Status master][master-img]{: .travis }
 * Travis CI build status ([maint branch][maint-branch]): ![Build Status maint][maint-img]{: .travis }
@@ -66,8 +66,10 @@ platforms, the results can be [viewed online][tests].
 [coverity-img]: https://scan.coverity.com/projects/1435/badge.svg?flat=1 "Coverity Metric"
 [libtap]: http://jc.ngo.org.uk/trac-bin/trac.cgi/wiki/LibTap "LibTap Homepage"
 [dev-faq]: doc/faq/#development "Development FAQs"
-[ci-tests]: https://travis-ci.org/monitoring-plugins/monitoring-plugins "continuous integration tests"
-[travis-start]: http://docs.travis-ci.com/user/getting-started/ "Travis CI"
+[travis]: https://travis-ci.org/ "Travis CI"
+[travis-project]: https://travis-ci.org/monitoring-plugins/monitoring-plugins "Monitoring Plugins at Travis CI"
+[coverity]: https://scan.coverity.com/ "Coverity Scan"
+[coverity-project]: https://scan.coverity.com/projects/1435 "Monitoring Plugins at Coverity Scan"
 [tests]: tests.html "Test Results"
 
 <!--% # vim:set filetype=markdown textwidth=78 joinspaces expandtab: # %-->