diff --git a/build.py b/build.py index 58cb8061..e399fe97 100755 --- a/build.py +++ b/build.py @@ -702,8 +702,8 @@ def uploadPackage(fileName, options, mask=defaultMask, keep=75): cmd = 'scp {} {}:{}'.format(fileName, host, uploadDir) runcmd(cmd) - # Make sure it is readable by all - cmd = 'ssh {} "cd {}; chmod a+r {}"'.format(host, uploadDir, os.path.basename(fileName)) + # Make sure it is readable by all, and writable by rbot + cmd = 'ssh {} "cd {}; chmod 644 {}"'.format(host, uploadDir, os.path.basename(fileName)) runcmd(cmd) if not options.release: @@ -1131,7 +1131,7 @@ def cmd_sphinx(options, args): pwd2 = pushDir(sphinxDir) buildDir = os.path.join(sphinxDir, 'build') htmlDir = os.path.join(phoenixDir(), 'docs', 'html') - runcmd('sphinx-build -b html -d %s/doctrees . %s' % (buildDir, htmlDir)) + runcmd('{} -m sphinx -b html -d {}/doctrees . {}'.format(PYTHON, buildDir, htmlDir)) del pwd2 msg('Postprocessing sphinx output...') diff --git a/docs/sphinx/_static/css/phoenix.css b/docs/sphinx/_static/css/phoenix.css index b430b9aa..152b4014 100644 --- a/docs/sphinx/_static/css/phoenix.css +++ b/docs/sphinx/_static/css/phoenix.css @@ -121,7 +121,7 @@ div.document-no-sidebar { position: relative; margin-left: 0px; z-index: 0; - top: 30px; + top: 0px; } div.sphinxsidebar {