Merge pull request #749 from oliver-sanders/stuff

Stuff

Author: wxtim

src/conf.py

@@ -120,7 +120,7 @@
 # $ python -m sphinx.ext.intersphinx <url>/objects.inv | less
 intersphinx_mapping = {
     'rose': (
-        'http://metomi.github.io/rose/2.1.0/html', None
+        'http://metomi.github.io/rose/2.3.0/html', None
     ),
     'python': (
         'https://docs.python.org/3/', None

src/user-guide/examples/index.rst

@@ -1,3 +1,5 @@
+.. _user-guide.examples:
+
 Examples
 ========