Re: [Bug-wget] Minor bug?

[kedar mhaswade]

Thank you Hrvoje and Noel. I guess I agree with you mostly. There is a
discrepancy  IMO, however.

On my system, man man (or info man) shows the following:

man  is the system's manual pager. Each page argument given to man is
normally the name of
       a program, utility or function.
...

Thus, like you say, the argument to the man program is the name of the
program.
Now, "man wget" and "man Wget" both fetch the same manual page, which makes
me believe that
both "wget" and "Wget" are the names of this program. Is that true? If
"Wget" is the name of the program, shouldn't "man wget" result in "No
manual entry of wget"?
(Or is that a "man" bug/feature?)

Regards,
Kedar

PS - Again, this is minor and I am no purist. It was just an observation
that I felt like bringing to your attention.

On Sat, Feb 25, 2012 at 1:41 PM, Hrvoje Niksic <address@hidden> wrote:

> kedar mhaswade <address@hidden> writes:
>
> > When I do man wget [1] it shows:
> > NAME
> >    Wget - The non-interactive network downloader.
> >
> > Shouldn't it show the name as "wget" and not "Wget"?
> >
> > Agreed, it is minor, but perhaps worth fixing for the sake of consistency
> > (and correctness)?
>
> The name of the program is "Wget" (or "GNU Wget"), with a capital
> letter.  The name of its Unix executable is spelled with all lower-case,
> as is customary.  The capitalization of the name documented in the NAME
> section of the man page should depend on whether "name" refers refer to
> the former or the latter.
>