diff --git a/doc b/doc
index e52eec0..1a181d3 160000
--- a/doc
+++ b/doc
@@ -1 +1 @@
-Subproject commit e52eec0831ef72edab816d549d7ee2a85575e292
+Subproject commit 1a181d3c72cf20fe21e93b063dc3c395e1fa8f93