github-repos/wget
1
0
Fork 0
mirror of https://github.com/mirror/wget.git synced 2025-02-07 02:00:07 +08:00
Code Issues Packages Projects Releases Wiki Activity

"older" -> "not newer", on Timestamping description.

Browse Source
This commit is contained in:
Micah Cowan 2009-09-04 14:29:03 -07:00
parent d294668715
commit 1489612dd1
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/ChangeLog
View File

@ -1,5 +1,7 @@
2009-09-04 Micah Cowan <micah@cowan.name> 2009-09-04 Micah Cowan <micah@cowan.name>
* wget.texi (Time-Stamping): "older" -> "not newer".
* Makefile.am (install.man, install.wgetrc): Use $(mkinstalldirs), * Makefile.am (install.man, install.wgetrc): Use $(mkinstalldirs),
not $(top_srcdir)/mkinstalldirs. not $(top_srcdir)/mkinstalldirs.

2
doc/wget.texi
View File

@ -2507,7 +2507,7 @@ The time-stamping in GNU Wget is turned on using @samp{--timestamping}
(@samp{-N}) option, or through @code{timestamping = on} directive in (@samp{-N}) option, or through @code{timestamping = on} directive in
@file{.wgetrc}. With this option, for each file it intends to download, @file{.wgetrc}. With this option, for each file it intends to download,
Wget will check whether a local file of the same name exists. If it Wget will check whether a local file of the same name exists. If it
does, and the remote file is older, Wget will not download it. does, and the remote file is not newer, Wget will not download it.
If the local file does not exist, or the sizes of the files do not If the local file does not exist, or the sizes of the files do not
match, Wget will download the remote file no matter what the time-stamps match, Wget will download the remote file no matter what the time-stamps