[Bug-wget] texinfo @dir information

2011-09-27 Thread Karl Berry
Tiny change for the manual to make its dir entry consistent with others, ok? Thanks, k --- /usr/local/gnu/src/wget-1.13.4/doc/ORIG/wget.texi 2011-08-06 03:22:58.0 -0700 +++ /usr/local/gnu/src/wget-1.13.4/doc/wget.texi2011-09-27 07:34:17.0 -0700 @@ -22,5 +22,5 @@

Re: [Bug-wget] texinfo @dir information

2011-09-27 Thread Giuseppe Scrivano
k...@freefriends.org (Karl Berry) writes: Tiny change for the manual to make its dir entry consistent with others, ok? Ok. Pushed. Thanks, Giuseppe