From a47cf88bcd4ca4c2c809a7b72d692b0bf76fbbab 2024-10-03 12:21:55
From: Andrew Kreimer <algonell@gmail.com>
Date: 2024-10-03 12:21:55
Subject: [PATCH] Fix a typo

---

diff --git a/docs/source/conf.py b/docs/source/conf.py
index 1c1bc21..3e13726 100755
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -112,7 +112,7 @@ try:
     )
 
 except ModuleNotFoundError:
-    # In case intersphinx_registry is not yet packages on current plaform
+    # In case intersphinx_registry is not yet packages on current platform
     # as it is quite recent.
     print("/!\\ intersphinx_registry not installed, relying on local mapping.")
     intersphinx_mapping = config["intersphinx_mapping"]