diff --git a/doc/prebuilt b/doc/prebuilt
index 8410336d9..b988d98d4 160000
--- a/doc/prebuilt
+++ b/doc/prebuilt
@@ -1 +1 @@
-Subproject commit 8410336d954688c88014576ba0f3fea905b29b39
+Subproject commit b988d98d4856758484eb23c27bfdc9e602d4235a