diff --git a/doc/manual b/doc/manual
index 72324cf5..d3746adc 160000
--- a/doc/manual
+++ b/doc/manual
@@ -1 +1 @@
-Subproject commit 72324cf592892daf9df56961dbdc2c036a2a3ca9
+Subproject commit d3746adc39333f056f14969d40aa1f0072eb4eed