diff --git a/src/doc/book b/src/doc/book index 616fe4172b688..74d81d80052cb 160000 --- a/src/doc/book +++ b/src/doc/book @@ -1 +1 @@ -Subproject commit 616fe4172b688393aeee5f34935cc25733c9c062 +Subproject commit 74d81d80052cb88925f0e73b12fbd0b73ab7b5a0