This repository was archived by the owner on Sep 7, 2018. It is now read-only.
This repository was archived by the owner on Sep 7, 2018. It is now read-only.
If the build of master fails, documentation may be removed from the website #344
Description
The documentation link on the website is returning a 404:
The branch looks to be missing some commits, and it may be that the build has been failing and therefore not updating correctly. Alternatively, I first noticed this after GitHub had it's most recent outage, so it may be related to that instead.
The next PR merge may fix this, however we may want to look into a more robust procedure if there is a problem with the builds.