diff --git a/doc/manual b/doc/manual
index 0951d918..72324cf5 160000
--- a/doc/manual
+++ b/doc/manual
@@ -1 +1 @@
-Subproject commit 0951d9180c8dbb653cad64ccfd39b1ed9157f5d7
+Subproject commit 72324cf592892daf9df56961dbdc2c036a2a3ca9