--- a/UI/UserInterface.py Mon Oct 15 20:04:14 2012 +0200 +++ b/UI/UserInterface.py Sat Oct 20 17:27:09 2012 +0200 @@ -4387,7 +4387,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://"):