New sections "downloads" and "issues" in the sidebar contain useful links to the live project site.

The build documentation now explains how to download the MPS Kit.

Copied from Perforce
 Change: 181164
 ServerID: perforce.ravenbrook.com

mps/manual/build.txt

@@ -11,6 +11,12 @@ its libraries, and the tests and tools that come with it.
 You may be building the MPS for a number of different purposes.
 
 
+Getting hold of the MPS Kit
+---------------------------
+
+Download the latest MPS Kit release from `<http://www.ravenbrook.com/project/mps/release/>`_.
+
+
 Compiling the MPS for your project
 ----------------------------------
 

mps/manual/source/_templates/links.html

@@ -0,0 +1,13 @@
+<h4>Downloads</h4>
+
+<p class="topless">
+<a href="http://www.ravenbrook.com/project/mps/release/{{ release }}/">MPS Kit release {{ release }}</a><br>
+<a href="http://www.ravenbrook.com/project/mps/release/">All MPS Kit releases</a>
+</p>
+
+<h4>Issues</h4>
+
+<p class="topless">
+<a href="http://www.ravenbrook.com/project/mps/issue/?action=list&amp;view=status%3dopen&amp;display=Job:Priority:Title&amp;sort=Priority">Known issues</a><br>
+<a href="http://www.ravenbrook.com/project/mps/issue/?action=fixed&release_fixed={{ release }}">Issues fixed in release {{ release }}</a>
+</p>

mps/manual/source/conf.py

@@ -131,11 +131,11 @@
 
 # If true, SmartyPants will be used to convert quotes and dashes to
 # typographically correct entities.
-#html_use_smartypants = True
+html_use_smartypants = True
 
 # Custom sidebar templates, maps document names to template names.
 html_sidebars = {
-    '**': ['localtoc.html', 'relations.html', 'contact.html'],
+    '**': ['localtoc.html', 'relations.html', 'links.html', 'contact.html'],
 }
 
 # Additional templates that should be rendered to pages, maps page names to