jida...@jidanni.org wrote: > Package: wget > Version: 1.11.4-4 > Severity: wishlist > X-Debbugs-cc: bug-w...@gnu.org, w...@sunsite.dk > > man/info page says > > The time-stamping in GNU Wget is turned on using `--timestamping' > (`-N') option, or through `timestamping = on' > directive in `.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 does, and the remote file is > older, Wget will not download it. > > Say what happens if the file is not older, but the exact same age.
Thanks. I've replaced "older" with "not newer" in the upstream (1.12 development) sources. > P.S., man wget just gets the whole info page, unlike any other man page > one has ever seen. This is a Debian-specific modification. The problem is that the (upstream) man page does not provide as much information as many people would like, who prefer man pages over the TexInfo-generated documentation. Most GNU software simply uses help2man, generating a simplified man page for the usage information alone. Some time ago we opted to use a script that culls some of the most important information (while leaving much more out) from the TexInfo manual, so that more detailed descriptions are available. The ideal, of course, would be to have full documentation available in man format, but since man pages have a traditional and expected format, direct conversion from the TexInfo manual (which isn't remotely laid out like a man page) is difficult. Maintaining two separate, complete formats of documentation by hand is not something a GNU maintainer desires (though GNU Screen does this), and GNU's maintainers are expected to use TexInfo as the primary form of documentation, so it's the man page that gets the short end. This leaves the documentation in a state where pretty much no one is happy, apart from people who wish all documentation was in "info" format. The Debian wget maintainer has decided to experiment with choosing a different less-than-satisfactory solution than the less-than-satisfactory solution being employed upstream. :) > Also the man/info page doesn't mention bug-w...@gnu.org . At the time 1.11.4 was published, bug-w...@gnu.org was an alias onto w...@sunsite.dk, which was the "real" mailing list. We have since moved (back) onto bug-w...@gnu.org, and w...@sunsite.dk rejects incoming mail. The next upstream Wget release will reflect that (Debian can meanwhile adjust the 1.11.4 package if it wants to, of course). -- Micah J. Cowan Programmer, musician, typesetting enthusiast, gamer. Maintainer of GNU Wget and GNU Teseq http://micah.cowan.name/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
