diff --git a/doc/pages b/doc/pages
index f1c5d747..ed1cacbb 160000
--- a/doc/pages
+++ b/doc/pages
@@ -1 +1 @@
-Subproject commit f1c5d747e6f52ce25866c7759bf059005187db1b
+Subproject commit ed1cacbbbcc6762b277a4efd0f208f83d3e5032f