diff --git a/doc b/doc
index 07b9bd4f59..073bb08473 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit 07b9bd4f59d6656b3488a17329d58f67cd797fcd
+Subproject commit 073bb08473b8172b8bb175e0702204f15f522392