From 4498f28e1380fcd2b8485b190e85f851fc6dff31 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Thu, 3 Nov 2022 23:38:25 +0100
Subject: [PATCH] -update prebuilt docs

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

diff --git a/doc/prebuilt b/doc/prebuilt
index b988d98d4..8452f991d 160000
--- a/doc/prebuilt
+++ b/doc/prebuilt
@@ -1 +1 @@
-Subproject commit b988d98d4856758484eb23c27bfdc9e602d4235a
+Subproject commit 8452f991dd967328207fab52a99beb19e2cb4dff