Re: Re: is the number of dot files a measure of the darkness of Linux?:-D

[Patrice Duroux <patrice.duroux@gmail.com>]

Hi,

Thank you, David, for all the information.
Scanning all these DOT files and checking what sort of documentation user/admin
can easily get for them are steps in my process.
I already started checking about the .SEQ file you cited for instance.
Debian Code Search is very helpful.
On the other side 'man -K' is not the best and a too naïve solution: it takes a
lot of ressources and I did not figure out how to have just the list of pages
and not display them.
Is there a service similar to Code Search but for man pages?

Best,
Patrice