[Bug-wget] Renamed --html-extension -> --adjust-extension

[Micah Cowan]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

I've renamed the --html-extension to --adjust-extension, to reflect the
fact that it applies to more than HTML now (CSS too). The previous name
is still accepted, but now deprecated (similarly for the wgetrc command
counterpart). -E still works too, of course.

The relevant bug is <https://savannah.gnu.org/bugs/index.php?20371>;
I've left it open to track the fact that we may want to cover file types
beyond just those that wget happens to be able to parse.

- --
Micah J. Cowan
Programmer, musician, typesetting enthusiast, gamer.
Maintainer of GNU Wget and GNU Teseq
http://micah.cowan.name/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iEYEARECAAYFAkpvqqMACgkQ7M8hyUobTrEQFQCfao4Hsr/C9W0K55J17takZGkV
f+sAn39tuAX4g/zlW5+tRTiIv4lD++nR
=ivHu
-----END PGP SIGNATURE-----