Bug#545091: man page is info page; timestamping same time

2009-09-13 Thread A. Costa
Bump or Ditto to this bug. Thanks Micah Cowan, for the 9/4/9 BTS message explaining the change and its compromises. I too miss the old man page format, which had gaps, but at least things were easier to find. On the other hand, it is good to have the 'info' page available, assuming it wasn't bef

Bug#545091: man page is info page; timestamping same time

2009-09-04 Thread jidanni
MC> The Debian wget maintainer has decided to experiment with MC> choosing a different less-than-satisfactory solution than the MC> less-than-satisfactory solution being employed upstream. :) The first man page with a full embedded GNU Free Documentation License too. -- To UNSUBSCRIBE, email to

Bug#545091: man page is info page; timestamping same time

2009-09-04 Thread Micah Cowan
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' >direc

Bug#545091: man page is info page; timestamping same time

2009-09-04 Thread jidanni
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