From 83a2168001ad95a6cfe1ac44e59589c911898fde Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Tue, 26 Sep 2023 11:00:21 +0200
Subject: -this file will be generated

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

(limited to 'doc')

diff --git a/doc/prebuilt b/doc/prebuilt
index 748bf62c7..1576678c0 160000
--- a/doc/prebuilt
+++ b/doc/prebuilt
@@ -1 +1 @@
-Subproject commit 748bf62c7d3342343092f05bb9c02a1145178864
+Subproject commit 1576678c0f195e07c1e1d84a9952ccd17106c0ec
-- 
cgit v1.2.3