diff options
authorJuergen Borleis <>2016-06-08 17:59:59 +0200
committerMichael Olbrich <>2016-06-20 15:04:51 +0200
commit51d8c4125c9d3292dddf9aa44aaaad0f945431ce (patch)
parente68a03ec7872501502cf28ae1fb2007fc3d7a5df (diff)
Fix the meaning of this sentence
Signed-off-by: Juergen Borleis <>
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/dev_manual.rst b/doc/dev_manual.rst
index 410c583..f6d0458 100644
--- a/doc/dev_manual.rst
+++ b/doc/dev_manual.rst
@@ -829,7 +829,7 @@ order. For example some kind of package would also build some X related
tools, if X libraries are found. In this case it depends on the build
order, if the X related tools are built or not. All the autocheck
features are problematic here. So, if we do not want ``configure`` to
-guess its settings we **must disable everything we do want**.
+guess its settings we **must disable everything we do not want**.
Since every optional parameter adds four lines of code to the rule
files, PTXdist provides some shortcuts to handle it. Refer to section