From 22ad41a2b45776246c456b65ece9a9b657d17484 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sat, 15 Jul 2023 19:11:24 +0200
Subject: [PATCH] -update man pages

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

diff --git a/doc/prebuilt b/doc/prebuilt
index db8444916..02380e2e7 160000
--- a/doc/prebuilt
+++ b/doc/prebuilt
@@ -1 +1 @@
-Subproject commit db8444916b056cce401ff62a05512e82bd9e4e64
+Subproject commit 02380e2e7318c7fd75fcfe7b03d1596b56c8d505