Hello Wget maintainers, Since Wget 1.12 renames '--html-extension' to '--adjust-extension', it is better to update the usage in the documentation. I've attached a patch to update the deprecated option '--html-extension' to its new name '--adjust-extension' in the Examples chapter. Please review and let me know if any additional changes are necessary.
Thanks Jinfu
0001-Update-deprecated-option-html-extension-to-adjust-ex.patch
Description: 0001-Update-deprecated-option-html-extension-to-adjust-ex.patch
