From 5c355bd27ce44e080effdf55fefc7a69aef2b127 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Mon, 26 Apr 2021 17:09:57 +0200
Subject: update prebuild man/info pages

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

(limited to 'doc/prebuilt')

diff --git a/doc/prebuilt b/doc/prebuilt
index 488608716..c9d78ec0f 160000
--- a/doc/prebuilt
+++ b/doc/prebuilt
@@ -1 +1 @@
-Subproject commit 488608716fcd0fa90013f7136cb4bee4822f972d
+Subproject commit c9d78ec0f5c5935616cb12206bd616a0966ab0af
-- 
cgit v1.2.3