From e4c2d0a59a9063838c68ec2451b3a340c417eeae Mon Sep 17 00:00:00 2001
From: rycee <rycee@users.noreply.github.com>
Date: Sat, 10 May 2025 21:31:10 +0000
Subject: [PATCH] deploy: 9ef92f1c6b77944198fd368ec805ced842352a1d

---
 options.xhtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/options.xhtml b/options.xhtml
index aa983c512..31ff6808b 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -64790,7 +64790,7 @@ JSON value</p>
 </dt>
 <dd>
 <p>Configuration settings for WaveTerm. All available options can be
-found here: &lt;\https://docs.waveterm.dev/config#configuration-keys&gt;.</p>
+found here: <a class="link" href="https://docs.waveterm.dev/config#configuration-keys"  target="_top">https://docs.waveterm.dev/config#configuration-keys</a>.</p>
 
 <p><span class="emphasis"><em>Type:</em></span>
 JSON value</p>