diff --git a/doc b/doc
index 9b19abb557..ef05afef69 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 9b19abb5572d3678d8ac0af2c1175c539cd756da
+Subproject commit ef05afef69f7e8a97bafe7ea81b7bb5ffc046d95