# HG changeset patch # User ocean-city # Date 1226921374 -32400 # Node ID 25bcca98b93482adca7801dcaf1bd44340ac9255 # Parent fe22500bf876275654a85eea5a80464402ef40cf Fixed threre bugs in html help index. See http://bugs.python.org/issue4252. diff -r fe22500bf876 -r 25bcca98b934 sphinx/htmlhelp.py --- a/sphinx/htmlhelp.py Sun Nov 16 19:11:05 2008 +0100 +++ b/sphinx/htmlhelp.py Mon Nov 17 20:29:34 2008 +0900 @@ -55,6 +55,7 @@ project_template = '''\ [OPTIONS] Binary TOC=Yes +Binary Index=No Compiled file=%(outname)s.chm Contents file=%(outname)s.hhc Default Window=%(outname)s @@ -191,12 +192,21 @@ try: f.write('