From 333af3d7ec1002d24dc02268f764996faf55d75d Mon Sep 17 00:00:00 2001
From: rycee <rycee@users.noreply.github.com>
Date: Sat, 16 Dec 2023 14:01:58 +0000
Subject: [PATCH] deploy: e9b9ecef4295a835ab073814f100498716b05a96

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

diff --git a/options.xhtml b/options.xhtml
index 4df6d864a..29a23c959 100644
--- a/options.xhtml
+++ b/options.xhtml
@@ -6894,7 +6894,7 @@ null or (submodule)</p>
 <dd>
 <p>Package providing the theme. This package will be installed
 to your profile. If <code class="literal">null</code> then the theme
-is assumed to already be available in your profile.</p>
+is assumed to already be available in your profile.</p><p>For the theme to apply to GTK 4, this option is mandatory.</p>
 
 <p><span class="emphasis"><em>Type:</em></span>
 null or package</p>