diff options
author | jinfuchiang <jinfuchiang@outlook.com> | 2023-04-09 15:13:54 +0800 |
---|---|---|
committer | Tim Rühsen <tim.ruehsen@gmx.de> | 2023-04-09 20:29:07 +0200 |
commit | 2b723806a5c161857f125ca1bc67f9315c2a788e (patch) | |
tree | 316a64de1fd0694e72982afd7e60472b60b4cb3e | |
parent | 9a35fe609c87c558153cff80fef7dea809b3cf63 (diff) | |
download | wget-2b723806a5c161857f125ca1bc67f9315c2a788e.tar.gz |
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
-rw-r--r-- | doc/wget.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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 |