diff --git a/doc b/doc
index 1615eea9b1..df48d73323 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 1615eea9b11fea1b57ed7f275f05304c88520a00
+Subproject commit df48d733230328f485282e2e803331f2c5d9b4e0