Bug#93724: base-files: please move undocumented(7) from manpages

[Santiago Vila <sanvila@unex.es>]

reassign 93724 debian-policy
thanks

I'm sorry but I'm not willing to do this if the maintainer of the
manpages package disagrees. Please convince him first. I think the
policy group should be able to determine where the undocumented(7)
manpage should go, hence the reassign.

---------- Forwarded message ----------
Date: Sat, 14 Apr 2001 00:35:33 -0300
From: Nicolás Lichtmaier <nick@debian.org>
To: Santiago Vila <sanvila@unex.es>
Cc: Colin Watson <cjw44@flatline.org.uk>, 93724@bugs.debian.org,
     debiain-devel@lists.debian.org
Subject: #93724: base-files: please move undocumented(7) from manpages

> > As there was no objection to this on debian-devel, here's the wishlist
> > bug: please move undocumented(7) from the manpages package into one
> > marked essential, namely base-files (which I believe to be the best
> > choice from all the current Essential: yes packages). I imagine some
> > kind of versioned Replaces: of manpages would be appropriate.
> >
> > /usr/{share/,}man/man7/undocumented.7.gz make up approximately 1.5Kb
> > between them.
>
> Ok, I agree it's better to have it in an essential package.
>
> Exactly, which version of manpages should base-files "Replaces:"?
> Latest one? Are there any release in the queue?
>
> (I hope not to repeat the /etc/profile mess in base-files_2.1.11 :-)

 I think we shouldn't add this non-policy dirty thing to an essential
package. We don't need this in a policy compliant system. Man should treat a
dangling symlink as a non-existant manpage, and show a clean and correct
message. The package undocumented.7 is in is already "Priority: important".