diff --git a/doc b/doc
index 3280f9b20f..efaca18171 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 3280f9b20f92663ce655c1470976bb997eaf9717
+Subproject commit efaca18171eb9090e50b32618743139bb26d9908