[#734,!422] Fixed filename in contribute.dox

    devel/contribute.dox - text had old file name, added " or:"

diff --git a/doc/devel/contribute.dox b/doc/devel/contribute.dox
index da81a0f77e908b495ebb4b0f6d3e7af9d1db505c..64ddf508b38af71dc1ee35374e0cb4375d350e4d 100644 (file)
--- a/doc/devel/contribute.dox
+++ b/doc/devel/contribute.dox
@@ -9,7 +9,7 @@
  @page contributorGuide Kea Contributor's Guide
 
 The Contributor's Guide has been moved to a stand alone document.
-See contributors-guide.md in the top level sources.
+See CONTRIBUTORS.md in the top level sources or:
 
 Link: https://gitlab.isc.org/isc-projects/kea/blob/master/CONTRIBUTING.md