1 files changed, 1 insertions, 1 deletions

diff --git a/doc/b b/doc/b
index 58e6bddf..c48cb4e9 100755
--- a/doc/b
+++ b/doc/b
@@ -1,6 +1,6 @@
 #! /bin/bash
 
-waf=waf-1.9.3
+waf=waf-1.9.5
 p2=${PYTHON:-${PYTHON2:-python2.7}}
 
 if which $p2 &> /dev/null; then