Kristian Vlaardingerbroek <kristian.vlaardingerbr...@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 <rep...@bugs.python.org> <http://bugs.python.org/issue10583> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
