From e5d9d5693b2302b79d994bbe7d38ad5252480c7b Mon Sep 17 00:00:00 2001
From: "Christian Y. Brenninkmeijer"
 <christian.brenninkmeijer@manchester.ac.uk>
Date: Thu, 25 Jul 2024 07:45:28 +0100
Subject: [PATCH] info for release 7.2.1

---
 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 fefea8b2..d938c0e9 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -56,7 +56,7 @@
 ]
 
 # Which version of other SpiNNaker docs do we refer to?
-spinnaker_doc_version = "latest"
+spinnaker_doc_version = "7.2.1"
 
 intersphinx_mapping = {
     'python': ('https://docs.python.org/3.8', None),
@@ -97,9 +97,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.1'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.