diff --git a/src/doc/user/usermanual.xml b/src/doc/user/usermanual.xml index 035e3c46..adde69d7 100644 --- a/src/doc/user/usermanual.xml +++ b/src/doc/user/usermanual.xml @@ -4930,8 +4930,8 @@ except: - Development files for Python (or use - --disable-python-module). + Development files for Python--disable-python-module).