diff --git a/doc/updating_waf.txt b/doc/updating_waf.txt
index dd9de0123a..80b4e121c7 100644
--- a/doc/updating_waf.txt
+++ b/doc/updating_waf.txt
@@ -1,7 +1,10 @@
 Download waf (http://code.google.com/p/waf/)
 Download autowaf (http://svn.drobilla.net/autowaf)
 
+* MAKE SURE that the --debug option is set to True by default (drobilla's
+  original sets it to False by default)
+
 From within the waf source tree, run:
 
-./waf-light -v --make-waf --tools=misc,/path/to/autowaf.py --prelude=''
+./waf-light -v --make-waf --tools=misc,doxygen,/path/to/autowaf.py --prelude=''
 cp ./waf /path/to/ardour/3.0/waf
diff --git a/waf b/waf
index 3c38b029b0..8185879eef 100755
Binary files a/waf and b/waf differ