diff --git a/dist_docserver_book b/dist_docserver_book
index 2ce6cc9..c025cfc 160000
--- a/dist_docserver_book
+++ b/dist_docserver_book
@@ -1 +1 @@
-Subproject commit 2ce6cc991af4fce6b4a3b99a016a8a547e04213d
+Subproject commit c025cfc2515d77305f47a96dae44e87441c47b43