From 537bb34b4bc086ad879f192e2605b0218d30138b Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Tue, 16 Jan 2024 14:45:49 +0100
Subject: fix #8071

---
 doc/prebuilt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/prebuilt b/doc/prebuilt
index 09a33a50..5e7026c5 160000
--- a/doc/prebuilt
+++ b/doc/prebuilt
@@ -1 +1 @@
-Subproject commit 09a33a50d9b3b400f8a515082c888918cbf4e1b5
+Subproject commit 5e7026c5cef101c90b6dc58096e0a0946ef11b08
-- 
cgit v1.2.3