diff --git a/src/doc/book b/src/doc/book index 5a65e2af063ff..8a0eee28f7693 160000 --- a/src/doc/book +++ b/src/doc/book @@ -1 +1 @@ -Subproject commit 5a65e2af063ff701ae858f1f7536ee347b3cfe63 +Subproject commit 8a0eee28f769387e543882352b12d956aa1b7c38