From ce86e10ebf89f11a32d3483f897323311fc6b4bb Mon Sep 17 00:00:00 2001
From: "Christian Y. Brenninkmeijer"
 <christian.brenninkmeijer@manchester.ac.uk>
Date: Wed, 24 Jul 2024 09:42:01 +0100
Subject: [PATCH] info for release 7.2.0

---
 doc/source/conf.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/source/conf.py b/doc/source/conf.py
index 107cb8cb8..7eb022646 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -53,7 +53,7 @@
 ]
 
 # Which version of other SpiNNaker docs do we refer to?
-spinnaker_doc_version = "latest"
+spinnaker_doc_version = "7.2.0"
 
 intersphinx_mapping = {
     'python': ('https://docs.python.org/3.12', None),
@@ -86,9 +86,9 @@
 # built documents.
 #
 # The short X.Y version.
-version = '6.0'
+version = '1!7.2'
 # The full version, including alpha/beta/rc tags.
-release = '6.0.1'
+release = '1!7.2.0'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.