Ubuntu
devhelp package

  1. Bug #787039
  2. Comment #15

Comment 15 for bug 787039

Revision history for this message
Sam Bull (dreamsorcerer) wrote :

I can also confirm that just changing the name attribute in /usr/share/doc/python3.2/html/python3.2.devhelp.gz fixes this problem. Just changing it from "Python" to "Python3" is enough, which I've done in the above patch.