diff -r b57fc9a52742 -r c5e0b2e65358 UI/UserInterface.py --- a/UI/UserInterface.py Tue Oct 16 19:46:54 2012 +0200 +++ b/UI/UserInterface.py Sat Oct 20 17:27:09 2012 +0200 @@ -4675,7 +4675,7 @@ default = "" pythonDocDir = Utilities.getEnvironmentEntry("PYTHON2DOCDIR", default) else: - pythonDocDir = Utilities.getEnvironmentEntry("PYTHON3DOCDIR", + pythonDocDir = Utilities.getEnvironmentEntry("PYTHON2DOCDIR", '/usr/share/doc/packages/python/html/python-docs-html') if not pythonDocDir.startswith("http://") and \ not pythonDocDir.startswith("https://"):