From 5f3d153575e30719770cf38a50aa09bc109adfd2 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Thu, 21 Jan 2021 13:33:52 +0100
Subject: [PATCH] update submodules

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

diff --git a/doc/prebuilt b/doc/prebuilt
index eef86710c..4739f1447 160000
--- a/doc/prebuilt
+++ b/doc/prebuilt
@@ -1 +1 @@
-Subproject commit eef86710c7deade01361f8985fd9a6fe6a21e8ff
+Subproject commit 4739f1447d0e8a6534c7fbdbc361d5d756d1875b