openmicroscopy/ome-documentation — pull request #800 by sbesson (2014-05-29 10:49:42+00:00)
Title: Add Edit on Github button

This PR makes use an Sphinx extension to extend the `This page` sidebar menu (for HTML output only) of all the documentation sets and add an `Edit on GitHub` hyperlink.

To test this PR,
- look at the staging documentation(s)
- check the `This page` sidebar menu has extra links under the `Show source`
- check that these links point to the right source file on GitHub