[EMAIL PROTECTED] writes: > On Sat, May 09, 1998 at 05:07:10PM +0200, Hrvoje Niksic wrote: > > I am not acquainted with the Debian system's policy in cases like this, > > The relevant part of Debian's policy is > http://www.debian.org/doc/debian-policy/ch5.html#s5.1
According to the section 5.1, there are two choices for the Debian Wget maintainer: 1) Report the missing man-page as a Debian bug, and link wget.1 to undocumented.7; 2) Write a new up-to-date man-page for Wget, and include it with the package. The package wget_1.5.0-1.deb implements neither of these. -- Hrvoje Niksic <[EMAIL PROTECTED]> | Student at FER Zagreb, Croatia --------------------------------+-------------------------------- Your lucky number today is 29842924728. Look for it everywhere. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]