[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]

Reply via email to