sleep command/function & searching the python docs

[Bengt Richter]

On 31 Jul 2001 15:29:05 -0400, Alex <new_name at mit.edu> wrote:

>
>FWIW, the general index has a reference to sleep that would have pointed
>you the right way.  python.org seems to still be down, but there's a
>copy at 
>
>http://puffin.lcs:8080/python/lib/genindex.html
>
>you can look at.
>
Seems like it wouldn't be too hard to do a bute force exhaustive directory
of the html docs,  scanning them for words and html target anchors and logging
the locations of words in terms of page and nearest preceding anchor.
You'd probably want a list of words to ignore, etc.

The search could be a command line python program with a pickled directory
and it could just write a temp file for the html of hits, and spawn a browser
for the file. You'd continue in the browser.

A little html server wouldn't be that hard either. I think there's a demo.

Of course, there are some pretty big indices already, so an exahustive index
should probably return those at the top of hit lists.

How many mythical hours would anyone guess? (the JvN anecdote comes to mind.
I.e., who's going to say, "Never mind, I have the answer."? )