From a4427442b44422b714244daff27e76ec01654521 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Fri, 8 Sep 2023 20:14:45 +0200
Subject: update man pages

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

(limited to 'doc')

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