diff --git a/docs/waf-install b/docs/waf-install index 7a46e7e..7c9dd10 100644 Binary files a/docs/waf-install and b/docs/waf-install differ