Kristoffer.Rose@ens-lyon.fr wrote: > As I remember it from Ol Times (at the time I was one of the mandators that > debian should include manual *sources* instead of catmans :) the purpose of > undocumented(7) was to signal that a package had no documentation *at all*. undocumented.7 has for years pointed people to /usr/doc, and other sources of documentation, so that doesn't seem right. -- see shy jo