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: