diff --git a/doc b/doc
index b845bee39f..8039548924 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit b845bee39fa241892458d274184e2e9f22f4d096
+Subproject commit 8039548924d13b991a7329691fef4c64b03d13fc