diff --git a/src/doc/book b/src/doc/book
index 808f482db94..7db393dae74 160000
--- a/src/doc/book
+++ b/src/doc/book
@@ -1 +1 @@
-Subproject commit 808f482db94391fca1e04a9692b59e9eda8cfef9
+Subproject commit 7db393dae740d84775b73f403123c866e94e3a5b