mirror of
https://github.com/mirror/wget.git
synced 2026-09-05 14:14:56 +08:00
* doc/wget.texi: Update option '--html-extension' to '--adjust-extension'. Renamed in Wget 1.12 to better reflect its behavior. Copyright-paperwork-exempt: Yes