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

[Julien Fischer]

On Mon, 4 Apr 2016, Paul Bone wrote:

> 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>.

s/They're/They are/

s/developrs/developers/

Look fine otherwise.

Julien.