diff --git a/doc b/doc
index a72c3c2230..0a0a025989 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit a72c3c22302a0afc468397402f99c6204f089191
+Subproject commit 0a0a025989afbbaac46f6cd698f84ac5debcd862