diff --git a/doc b/doc
index eb8b652cf2..0639fbb0b8 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit eb8b652cf24fc5a9b9a9a0940fe73dc918962fcd
+Subproject commit 0639fbb0b865611ee301c0b8f40cb14ea51a560f