Index: utils.py =================================================================== --- utils.py (revision 13136) +++ utils.py (working copy) @@ -262,6 +262,8 @@ helpfile = os.path.join(path,filename+"-en.html") if not os.path.exists(helpfile): helpfile = os.path.join(path,filename+"-en_US.html") + if not os.path.exists(helpfile): + helpfile = os.path.join(path,filename+".html") if os.path.exists(helpfile): url = "file://"+helpfile if section != "":