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.

Reply via email to