On Tuesday 12 February 2002 04:37 pm, Ron Johnson wrote: [snip] > > Does /usr/share/man/man7/undocumented.7.gz exist? Sounds like a > strange name...
nope. you're right, damn strange. i've done a bug report. according to dpkg -C, everything is hunky-dory on my box. there was nothing in the previous reports related to it, but i haven't googled on this yet. ben