diff --git a/doc/software-manual.pdf b/doc/software-manual.pdf index 1e149c6541958030b4bea0f448835afa9e6b0d4b..d347dfaa72a486666ea8cb37e2a3280657137015 100644 Binary files a/doc/software-manual.pdf and b/doc/software-manual.pdf differ