25 Jun
2011
25 Jun
'11
6:24 a.m.
Kristian Vlaardingerbroek <kristian.vlaardingerbroek@gmail.com> added the comment: I've looked at the output from make html and make htmlhelp and taking the library/json.html as example the text between <title> </title> is exactly the same. Chrome renders both fine: <title>18.2. json — JSON encoder and decoder — Python v2.7.2 documentation</title> But when looking at the file in the HTML Help Workshop it looks like this: <title>18.2. json — JSON encoder and decoder</title> Which is what you see when doing the search. ---------- _______________________________________ Python tracker <report@bugs.python.org> <http://bugs.python.org/issue10583> _______________________________________