--- pydoc.py.dist Thu Sep 19 16:50:22 2002 +++ pydoc.py Fri Sep 20 09:02:53 2002 @@ -1492,10 +1492,10 @@ for dir in [os.environ.get('PYTHONDOCS'), homedir and os.path.join(homedir, 'doc'), os.path.join(execdir, 'doc'), - '/usr/doc/python-docs-' + split(sys.version)[0], - '/usr/doc/python-' + split(sys.version)[0], - '/usr/doc/python-docs-' + sys.version[:3], - '/usr/doc/python-' + sys.version[:3]]: + '/usr/local/share/doc/python-docs' + split(sys.version)[0], + '/usr/local/share/doc/python' + split(sys.version)[0], + '/usr/local/share/doc/python-docs' + sys.version[:3], + '/usr/local/share/doc/python' + sys.version[:3]]: if dir and os.path.isdir(os.path.join(dir, 'lib')): self.docdir = dir