When the date was Tuesday 09 of February 2010, Wayne <linuxtwo@gmail.com> wrote: > Ian Zimmerman wrote: > > I'd like to build an index of the documentation in /usr/share/doc, [...] > > I can't be the only one looking for this, so what do other debianists > > do? > > I use recoll and dwww but rely on recoll more and more. One more vote for recoll. Supports custom filters and you can index most common documentation formats. -- Michael Iatrou