From d103d7b1634bb24c73d51cb4f3fb4f24239dafde Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Thu, 20 Jul 2023 17:10:36 +0200
Subject: -new man page

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

(limited to 'doc/prebuilt')

diff --git a/doc/prebuilt b/doc/prebuilt
index 6026efb59..47cd9e96c 160000
--- a/doc/prebuilt
+++ b/doc/prebuilt
@@ -1 +1 @@
-Subproject commit 6026efb59ef8c41e5b86e68332780d387fdaab0a
+Subproject commit 47cd9e96ca2b3ff39db16e667fb9a63652970628
-- 
cgit v1.2.3