[Grok-doc] index page of official documentation didn't update correctly

[Jan-Wijbrand Kolman]

Hi,

Today Grok 1.2 was released and while updating the official 
documentation I editted the docindex.template file in the doc directory.

If I build the docs in my own checkout I indeed have an updated index 
page for the documentation. However, the script that builds the 
documentation here:

   http://grok.zope.org/doc/current/

somehow didn't use that updated docindex.template file.

I do not understand why that is...

Could someone help or have a look?

Thanks!

regards, jw