On Sun, Dec 09, 2001 at 06:18:06AM -0600, Debian Bug Tracking System wrote: > man-db is confused: > > $ ls -l /usr/X11R6/man/man1/xplaymidi.1.gz /usr/share/man/man1/playmidi.1.gz > lrwxrwxrwx 1 root root 37 Dec 9 13:15 /usr/X11R6/man/man1/ > xplaymidi.1.gz -> ../../../share/man/man1/playmidi.1.gz > -rw-r--r-- 1 root root 2702 Feb 24 1996 /usr/share/man/man1/ > playmidi.1.gz
More likely the use of two hierarchies was beyond my script's capabilities. I agree with closing the bug; sorry for the noise. -- Colin Watson [EMAIL PROTECTED]