Package: wget Version: 1.10.2-3 The --ignore-case feature is documented in Debian's wget.texi (and the generated manpage), but this feature is not actually present in wget.
This probably got slurped in by accident when the GFDL invariant changes got pulled in. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
