Given that there are lots of different bits of documentation on an average Debian box e.g. man, info, /usr/doc/* I wondered if it might be good to index the whole lot with e.g. glimpse. I then wondered if anyone had done this, or indeed if there was a canonical way to do it. Comments ? Cheers, -- Martin Oldfield.