Index: build-installer.py
===================================================================
--- build-installer.py	(revision 80290)
+++ build-installer.py	(working copy)
@@ -728,7 +728,7 @@
     curDir = os.getcwd()
     os.chdir(buildDir)
     runCommand('make update')
-    runCommand('make html')
+    runCommand("make html PYTHON='%s'" % os.path.abspath(sys.executable))
     os.chdir(curDir)
     if not os.path.exists(docdir):
         os.mkdir(docdir)