From eed8cbbb8d98a07cb60df8ec34e695f019bee8d1 Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Mon, 18 Mar 2013 15:05:24 +0000
Subject: [PATCH] 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                    |  6 ++++++
 mps/manual/source/_templates/links.html | 13 +++++++++++++
 mps/manual/source/conf.py               |  4 ++--
 3 files changed, 21 insertions(+), 2 deletions(-)
 create mode 100644 mps/manual/source/_templates/links.html

diff --git a/mps/manual/build.txt b/mps/manual/build.txt
index eaae71ecb07..6212836306a 100644
--- a/mps/manual/build.txt
+++ b/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
 ----------------------------------
 
diff --git a/mps/manual/source/_templates/links.html b/mps/manual/source/_templates/links.html
new file mode 100644
index 00000000000..b62c13d7813
--- /dev/null
+++ b/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>
diff --git a/mps/manual/source/conf.py b/mps/manual/source/conf.py
index 05a2864cffe..2312fa14287 100644
--- a/mps/manual/source/conf.py
+++ b/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