From 559d236712516f445d4656a7c94a228c3a6f3ee7 Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Thu, 31 Oct 2024 13:28:21 +0000
Subject: [PATCH] Update for Amaranth 0.5.3.

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 54939115..3d537b17 100644
--- a/index.html
+++ b/index.html
@@ -2,6 +2,6 @@
 
 <p>Try <a href="https://amaranth-lang.org/play/">Amaranth in your browser</a>.</p>
 
-<p>Read <a href="https://amaranth-lang.org/docs/amaranth/v0.5.2/">documentation for the latest released version</a>, or <a href="https://amaranth-lang.org/docs/amaranth/latest/">documentation for the in-development, unreleased functionality</a>.</p>
+<p>Read <a href="https://amaranth-lang.org/docs/amaranth/v0.5.3/">documentation for the latest released version</a>, or <a href="https://amaranth-lang.org/docs/amaranth/latest/">documentation for the in-development, unreleased functionality</a>.</p>
 
 <p>Read <a href="https://amaranth-lang.org/rfcs/">the accepted RFCs</a>.</p>