[Doc-SIG] Re: [Python-Dev] pydoc.py (show docs both inside and outside of Python)

Guido van Rossum guido@python.org
Fri, 12 Jan 2001 09:27:43 -0500

> There are however various other niceties that could be added to make it more 
> useful, can this be put into the repository or something?

Ping, do you think you could check this in into the nondist tree?
nondist/sandbox/help would seem a good name (next to Paul's

--Guido van Rossum (home page: http://www.python.org/~guido/)