diff --git a/source/manual b/source/manual
index 7ebc7cd..5d9d38d 160000
--- a/source/manual
+++ b/source/manual
@@ -1 +1 @@
-Subproject commit 7ebc7cddc760fced4ac44001067d6471a73c823a
+Subproject commit 5d9d38d72d9fc369c35a153d3d24a69438807b93