github-repos/wget
1
0
Fork 0
mirror of https://github.com/mirror/wget.git synced 2025-03-13 19:30:20 +08:00
Code Issues Packages Projects Releases Wiki Activity

Update deprecated option '--html-extension' to '--adjust-extension'

Browse Source 
* doc/wget.texi: Update option '--html-extension' to '--adjust-extension'.
  Renamed in Wget 1.12 to better reflect its behavior.

Copyright-paperwork-exempt: Yes
This commit is contained in:
jinfuchiang 2023-04-09 15:13:54 +08:00 committed by Tim Rühsen
parent 9a35fe609c
commit 2b723806a5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/wget.texi
View File

@ -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