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

[Paul Bone]

On Mon, Apr 04, 2016 at 02:01:48PM +0800, Sebastian Godelet wrote:
> Ops, I didn't know there where two versions of the notes,
> Is the one copied from the other?

No, they're linked.

On the webserver there's /srv/www/mercurylang and /srv/www/mercury_repo
Apache is configured to use /srv/www/mercurylang for the root of
mercurylang.org, and /srv/www/mercury_repo/compiler/notes for
mercurylang.org/developers, so we can easily link to developer
documentation.  The only inconvenience is that "git pull" must be executed
when we update the notes - that said a daily cron job can do this.

> > The link I've added links to the index.html file in this directory on the webserver.  Appart from
> > sometimes being out of date I don't see much of a difference.  Is there some other reason the
> > github version would be more convenient?
> Well in that case of course my remark was not constructive :)
> 

No problem.


-- 
Paul Bone