diff --git a/doc b/doc
index 72e50ddc22..039fbc7f27 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 72e50ddc22d235ac92ce03ed06abce4f0d0f87da
+Subproject commit 039fbc7f273643947b5c153bbe6df1eb6981a3a8