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 <[EMAIL PROTECTED]> To: Santiago Vila <[EMAIL PROTECTED]> Cc: Colin Watson <[EMAIL PROTECTED]>, [EMAIL PROTECTED], [EMAIL PROTECTED] 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".