[m-rev.] www for review: Add a link to the full set of developer documentation

[Paul Bone]

For review by anyone.

---

Add a link to the full set of developer documentation

Add a link to the full set of developer documentation
(compiler/notes/index.html) at the bottom of the developer documentation
page.

development/include/developer.inc:
    As above.
---
 development/include/developer.inc | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/development/include/developer.inc b/development/include/developer.inc
index c16e991..57dfc26 100644
--- a/development/include/developer.inc
+++ b/development/include/developer.inc
@@ -90,6 +90,15 @@ look in the main source repository to find these documents.
 -------->
 
 </ul>
+
+<h3>More documents</h3>
+<p>
+	These documents, plus more specific, incomplete and sometimes outdated
+	documents are kept in the <code>compiler/notes/</code> directory of the
+	source tree.
+	They're also available <a href="developrs/index.html">online</a>.
+</p>
+
 <p>
 
 </div>
-- 
2.8.0.rc3