[Python-Dev] Search broken on the python dev docs?

[Georg Brandl]

Gregory P. Smith schrieb:
> http://docs.python.org/dev/
> 
> the search box worked for earlier releases but has been broken and 
> returns nothing useful of late.
> 
> If I enter simple terms like 'time' or 'os' or 'os.walk' what is 
> returned is pathetic.
> 
> how does this work?  is an index corrupt or not being regenerated?

Something is wrong; I'll check this and try to fix it.

Georg

-- 
Thus spake the Lord: Thou shalt indent with four spaces. No more, no less.
Four shall be the number of spaces thou shalt indent, and the number of thy
indenting shall be four. Eight shalt thou not indent, nor either indent thou
two, excepting that thou then proceed to four. Tabs are right out.