From e356ee2cac1f4b12339cd1a16f328510e6407b87 Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Thu, 4 Jan 2024 11:17:50 +0000
Subject: [PATCH] docs: strip `.editable` suffix from version.

This shows up in CI builds as well, since those use `pip install -e`.
---
 docs/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/conf.py b/docs/conf.py
index 8487b09..aa8950a 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -4,7 +4,7 @@ sys.path.insert(0, os.path.abspath("."))
 import amaranth
 
 project = "Amaranth HDL toolchain"
-version = amaranth.__version__
+version = amaranth.__version__.replace(".editable", "")
 release = version.split("+")[0]
 copyright = "2020—2023, Amaranth HDL developers"