WAF: explain in the docs how to change the compilation flags.
--- a/doc/build-waf.txt Tue Jul 10 13:42:23 2007 +0100
+++ b/doc/build-waf.txt Tue Jul 10 13:45:20 2007 +0100
@@ -20,7 +20,9 @@
To see valid configure options, type waf --help. The most important
option is -d <debug level>. Valid debug levels (which are listed in
-waf --help) are: ultradebug, debug, release, and optimized.
+waf --help) are: ultradebug, debug, release, and optimized. It is
+also possible to change the flags used for compilation with (e.g.):
+CXXFLAGS="-O3" waf configure.
[ Note: Unlike some other build tools, to change the build target,
the option must be supplied during the configure stage rather than