diff --git a/docs/waf-install b/docs/waf-install index 165d7c5..0d0b36b 100644 Binary files a/docs/waf-install and b/docs/waf-install differ