-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Antonio Messina wrote: > wget manpage documents the "--ignore-case" option which in version > 1.10.2-3 of wget does not exists (btw, version 1.20.2+1.11.beta1-1 in > experimental does have support for the --ignore-case option). > > Please, correct the manpage or update the package (actually the > --ignore-case option would be very useful...)
I could've sworn I've seen this bug report before, either here or on Ubuntu's Malone; but can't find it. In any case, the issue is that, in importing documentation changes from 1.11 that made it "free" according to Debian policies, this new feature from Wget 1.11 (which is now available upstream) was inadvertently imported. One way for Noél to fix this is probably to bring in Wget 1.11 to unstable (which, however, has some known problems). I'm guessing he's waiting for us to finish Wget 1.11.1, so that he can import a less-buggy Wget to Debian unstable. - -- Micah J. Cowan Programmer, musician, typesetting enthusiast, gamer... http://micah.cowan.name/ -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.7 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFH3/AY7M8hyUobTrERArwKAJ43+OuVMQYxbNmOZ1BOmKxT/aF9PgCfV6lO Jxre5mPHoyGH1Wybg44LeEU= =fNyN -----END PGP SIGNATURE-----
