Documentation buglet: $(wildcard PATTERN...)

[John Marshall]

In node Wildcard Function ("The Function `wildcard'"), wildcard can take 
multiple patterns:

        If you want to do wildcard expansion in such places, you need to use 
the `wildcard' function, like this:

             $(wildcard PATTERN...)

However in node File Name Functions ("Functions for File Names"), the list of 
functions lists wildcard as:

        $(wildcard PATTERN)'
             The argument PATTERN is a file name pattern, typically containing 
wildcard characters (as in shell file name patterns). [snip]

It seems the latter entry needs @dots{} and a little rewording. Unfortunately I 
happened to read that one first in some recent work...

(Happy to suggest a patch if that would reduce effort...)

Cheers,

    John

[University of Glasgow: The Times Scottish University of the Year 2018]