From 2b723806a5c161857f125ca1bc67f9315c2a788e Mon Sep 17 00:00:00 2001 From: jinfuchiang Date: Sun, 9 Apr 2023 15:13:54 +0800 Subject: [PATCH] Update deprecated option '--html-extension' to '--adjust-extension' * doc/wget.texi: Update option '--html-extension' to '--adjust-extension'. Renamed in Wget 1.12 to better reflect its behavior. Copyright-paperwork-exempt: Yes --- doc/wget.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/wget.texi b/doc/wget.texi index 25521d93..66a33c60 100644 --- a/doc/wget.texi +++ b/doc/wget.texi @@ -3982,7 +3982,7 @@ or @samp{application/xhtml+xml} to @file{@var{name}.html}. @example wget --mirror --convert-links --backup-converted \ - --html-extension -o /home/me/weeklog \ + --adjust-extension -o /home/me/weeklog \ https://www.gnu.org/ @end example