diff --git a/doc/prebuilt b/doc/prebuilt
index 1ed97b23f..b988d98d4 160000
--- a/doc/prebuilt
+++ b/doc/prebuilt
@@ -1 +1 @@
-Subproject commit 1ed97b23f19c80fa84b21a5eb0c686d5491e8ec6
+Subproject commit b988d98d4856758484eb23c27bfdc9e602d4235a