diff --git a/doc b/doc
index 12ce9ccb17..625c534db5 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 12ce9ccb171889c029e3560fa3f76549bb80d35c
+Subproject commit 625c534db57c54b1eaf410eb63e0e261ecad3df0