diff --git a/doc b/doc
index efaca18171..a5adc652ed 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit efaca18171eb9090e50b32618743139bb26d9908
+Subproject commit a5adc652ed3c7cf179a19c8b373a9443dd1fc5dc