--- a/UI/Previewers/PreviewerHTML.py Mon Dec 22 18:27:16 2014 +0100 +++ b/UI/Previewers/PreviewerHTML.py Mon Dec 22 18:36:37 2014 +0100 @@ -425,7 +425,7 @@ 'html_use_index': False, 'html_use_modindex': False, 'html_use_smartypants': True, - 'master_doc': filename } + 'master_doc': filename} app = Sphinx(srcdir=tempDir, confdir=None, outdir=tempDir, doctreedir=tempDir, buildername='html', confoverrides=overrides, status=None,