diff --git a/doc/manual b/doc/manual
index b2fcae53..8cb38474 160000
--- a/doc/manual
+++ b/doc/manual
@@ -1 +1 @@
-Subproject commit b2fcae5326ff89f2ab5a5a8e5d55b41fd2787e51
+Subproject commit 8cb3847448223c5f0397a98e92a93a6af656e69d