UI/UserInterface.py

changeset 4137
54c38749f153
parent 4117
40d4272b538a
child 4139
647520ed04e6
--- a/UI/UserInterface.py	Fri Feb 27 19:44:08 2015 +0100
+++ b/UI/UserInterface.py	Sat Feb 28 15:49:35 2015 +0100
@@ -4732,7 +4732,7 @@
             else:
                 pythonDocDir = Utilities.getEnvironmentEntry(
                     "PYTHON3DOCDIR",
-                    '/usr/share/doc/packages/python/html')
+                    '/usr/share/doc/packages/python3/html')
         if not pythonDocDir.startswith("http://") and \
            not pythonDocDir.startswith("https://"):
             if pythonDocDir.startswith("file://"):
@@ -4796,7 +4796,7 @@
             else:
                 pythonDocDir = Utilities.getEnvironmentEntry(
                     "PYTHON2DOCDIR",
-                    '/usr/share/doc/packages/python/html/python-docs-html')
+                    '/usr/share/doc/packages/python/html')
         if not pythonDocDir.startswith("http://") and \
            not pythonDocDir.startswith("https://"):
             if pythonDocDir.startswith("file://"):

eric ide

mercurial