Fix bad link in developer docs
commit658765317fd94df5d534c039462be03ab3839067
authorPaul Bauer <paul.bauer.q@gmail.com>
Thu, 16 Jan 2020 17:50:25 +0000 (16 18:50 +0100)
committerMark Abraham <mark.j.abraham@gmail.com>
Fri, 17 Jan 2020 11:00:29 +0000 (17 12:00 +0100)
tree64a81ae4616cc5082d7e9f884fbf21b629e0c8a8
parent5946b20c27b336571e003d7fb2fac236d706c149
Fix bad link in developer docs

Also made sure that error gets caught by the Gitlab CI runner.

Fixes #3278

Change-Id: I36b73a4322c69242eef3dcefa6684ef973b1bd01
admin/ci-templates/.build-docs-template.yml
docs/CMakeLists.txt
docs/dev-manual/releng/index.rst