diff --git a/src/doc/book b/src/doc/book
index 21a2ed14f44..0510ca84c2c 160000
--- a/src/doc/book
+++ b/src/doc/book
@@ -1 +1 @@
-Subproject commit 21a2ed14f4480dab62438dcc1130291bebc65379
+Subproject commit 0510ca84c2ce6bf93c4ccf9248756e9e4fd00b12