On 23 August 2012 10:21, Christer Solskogen <christer.solskogen at gmail.com> wrote: > how do you regenerate this file these days? make index seems to take a > pretty long time. It's a pretty big file :) Try make fetchindex. Chris