--- a/wscript	Mon Jul 30 15:14:30 2012 -0700
+++ b/wscript	Mon Jul 30 15:15:52 2012 -0700
@@ -1099,7 +1099,8 @@
     def sphinx_build(self, path):
         print
         print "[waf] Building sphinx docs for " + path
-        if subprocess.Popen(["make", "-k", "html"], cwd=path).wait() :
+        if subprocess.Popen(["make", "SPHINXOPTS=-N", "-k", "html", "singlehtml"],
+                            cwd=path).wait() :
             raise SystemExit(1)
 
     def execute(self):