[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Outdated Wget 1.5.0 manual



jdassen@wi.leidenuniv.nl 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 <hniksic@srce.hr> | Student at FER Zagreb, Croatia
--------------------------------+--------------------------------
Your lucky number today is 29842924728.  Look for it everywhere.


--
To UNSUBSCRIBE, email to debian-user-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org


Reply to: