diff --git a/src/doc/book b/src/doc/book index 04d06dfe54160..8a0eee28f7693 160000 --- a/src/doc/book +++ b/src/doc/book @@ -1 +1 @@ -Subproject commit 04d06dfe541607e6419f3d028c3f9b245f3be4d9 +Subproject commit 8a0eee28f769387e543882352b12d956aa1b7c38