diff --git a/docs/waf-install b/docs/waf-install index 72d2726..2dfcf4c 100644 Binary files a/docs/waf-install and b/docs/waf-install differ