diff --git a/src/doc/book b/src/doc/book
index 08e79609ce885..7db393dae740d 160000
--- a/src/doc/book
+++ b/src/doc/book
@@ -1 +1 @@
-Subproject commit 08e79609ce88583fa7286157dfe497486a09fabe
+Subproject commit 7db393dae740d84775b73f403123c866e94e3a5b