From faea446c1064ccffade61697707cee8adceb5e52 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Wed, 6 Jul 2022 23:04:04 +0200
Subject: [PATCH] -update docs

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

diff --git a/doc/prebuilt b/doc/prebuilt
index 8410336d9..b988d98d4 160000
--- a/doc/prebuilt
+++ b/doc/prebuilt
@@ -1 +1 @@
-Subproject commit 8410336d954688c88014576ba0f3fea905b29b39
+Subproject commit b988d98d4856758484eb23c27bfdc9e602d4235a