[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Documentation buglet: $(wildcard PATTERN...)
From: |
John Marshall |
Subject: |
Documentation buglet: $(wildcard PATTERN...) |
Date: |
Tue, 10 Apr 2018 16:46:15 +0000 |
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]
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Documentation buglet: $(wildcard PATTERN...),
John Marshall <=