Re: Command != command ???

[Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>]

On Jul 24,  8:32pm, Philippe Troin wrote:
}
} Extended_glob is not necessary for **.

Note that ** is the same as *.  Only **/ is special -- the slash is
a necessary part of the token.

} Yet, the manual states (FILENAME GENERATION > Recursive Globbing):
} 
}        As a shorthand, `**/' is equivalent to `(*/)#'; note  that
}        this  therefore  matches files in the current directory as
}        well as subdirectories.
} 
} And earlier on (FILENAME GENERATION > Glob Operators):
} 
}        x#     (Requires EXTENDED_GLOB to be set.)   Matches  zero
}               or  more occurrences of the pattern x. 
} 
} Should we fix the manual?

The first bit that you quoted is talking about semantics.  The second
excerpt is talking about syntax.  There is nothing to fix; "equivalent
to" does not mean "may always be typographically replaced by".