Your message dated 09 Dec 2001 13:21:47 +0100
with message-id <[EMAIL PROTECTED]>
and subject line playmidi: Missing symlinks for some man pages
has caused the attached Bug report to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--------------------------------------
Received: (at maintonly) by bugs.debian.org; 1 Jun 2001 18:03:43 +0000
>From [EMAIL PROTECTED] Fri Jun 01 13:03:42 2001
Return-path: <[EMAIL PROTECTED]>
Received: from auric.debian.org [206.246.226.45]
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 155tGv-0004m4-00; Fri, 01 Jun 2001 13:03:41 -0500
Received: from cjwatson by auric.debian.org with local (Exim 3.12 1 (Debian))
id 155tGl-0001zH-00; Fri, 01 Jun 2001 14:03:31 -0400
From: Colin Watson <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED]
Subject: playmidi: Missing symlinks for some man pages
Message-Id: <[EMAIL PROTECTED]>
Sender: Colin Watson <[EMAIL PROTECTED]>
Date: Fri, 01 Jun 2001 14:03:31 -0400
Delivered-To: [EMAIL PROTECTED]
Package: playmidi
Severity: normal
Hi,
An upcoming release of Debian policy, version 3.5.5.0, contains an amendment
which clarifies the way man pages need to be installed.
Until now, packages could install /usr/share/man/man1/foo.1.gz with 'foo,
bar \- programs to do something' in the NAME section and have no
corresponding symbolic link from bar.1.gz (policy suggested using a symbolic
link, but wasn't clear that it's required), and our man program happened to
magically figure it out for itself and display the right man page when you
typed 'man bar'. However, guaranteeing that this would work even when you've
recently installed some new packages has a serious performance impact on
man, as it frequently has to go and look through the filesystem to update
its database.
Before woody's base system is frozen, I intend to remove this "feature" from
man-db, so that its performance is consistent and acceptable for a
reasonable number of people. It isn't a standard feature even among the
various man page browsers in Debian, let alone in other Linux distributions,
so there should be no compatibility problems. However, your package seems to
rely on it, so this bug is being filed to let you know that the way some of
your man pages are installed needs to be improved in order to work properly
in woody. All you need to do, if you already have, say, foo(1) and expect
bar(1) to work as well, is install a symbolic link to foo.1.gz as bar.1.gz
(.so links and hard links are also OK, though symlinks are recommended).
Here's a list of man pages and the names that don't appear anywhere in the
filesystem:
usr/X11R6/man/man1/xplaymidi.1.gz: playmidi
usr/X11R6/man/man1/xplaymidi.1.gz: splaymidi
usr/share/man/man1/playmidi.1.gz: xplaymidi
If the list looks odd, please check man(7) to see if the man page is
formatted properly. This output was generated by way of mandb, so if it's
confused then users will be too; if it turns out that it's done the wrong
thing, please reassign this bug to man-db so that I can fix it. I might not
have caught symlinks that are created in the postinst (say, using
alternatives); if that's the case, please close this bug.
Please see bug #94995 and policy 3.5.5 section 13.1 for more information,
and feel free to contact me if you need help.
Thanks,
--
Colin Watson, via a script
---------------------------------------
Received: (at 99587-done) by bugs.debian.org; 9 Dec 2001 12:11:16 +0000
>From [EMAIL PROTECTED] Sun Dec 09 06:11:16 2001
Return-path: <[EMAIL PROTECTED]>
Received: from jagor.srce.hr [161.53.2.130] (root)
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 16D2nc-0000ST-00; Sun, 09 Dec 2001 06:11:16 -0600
Received: from fuzz ([EMAIL PROTECTED] [193.198.128.12])
by jagor.srce.hr (8.9.3/8.9.3) with ESMTP id NAA08282
for <[EMAIL PROTECTED]>; Sun, 9 Dec 2001 13:08:22 +0100 (MET)
Received: from mvela by fuzz with local (Exim 3.33 #1 (Debian))
id 16D2xr-0005Zu-00
for <[EMAIL PROTECTED]>; Sun, 09 Dec 2001 13:21:51 +0100
From: Matej Vela <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED]
Subject: Re: playmidi: Missing symlinks for some man pages
References: <[EMAIL PROTECTED]>
Date: 09 Dec 2001 13:21:47 +0100
In-Reply-To: <[EMAIL PROTECTED]>
Message-ID: <[EMAIL PROTECTED]>
Lines: 28
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Sender: Matej Vela <[EMAIL PROTECTED]>
Delivered-To: [EMAIL PROTECTED]
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
$ zcat /usr/share/man/man1/playmidi.1.gz | head -6
.Dd 1 August 1994 (Modified 22 February 1996)
.Dt PLAYMIDI 1
.Os "Linux 1.3.60+"
.Sh NAME
.Nm playmidi, xplaymidi, splaymidi
.Nd midi file player
$ whatis playmidi xplaymidi
playmidi (1) - midi file player
playmidi (1) [xplaymidi] - midi file player
xplaymidi (1) [playmidi] - midi file player
xplaymidi (1) - midi file player
Anyway, this is a non-issue now that I've moved xplaymidi to /usr.
Thanks,
Matej
