diff options
| author | Lars Ingebrigtsen <larsi@gnus.org> | 2021-06-13 14:14:32 +0200 |
|---|---|---|
| committer | Lars Ingebrigtsen <larsi@gnus.org> | 2021-06-13 14:14:32 +0200 |
| commit | c4fcf2fc6fbdddb1da2ec1166bf95bfb72baff1a (patch) | |
| tree | 43ac5db5cce0514408445ac7e025b8591042c113 /src | |
| parent | 407062c296677f8d370706c8a620d2526a83df97 (diff) | |
Fsubstitute_in_file_name doc string clarification
* src/fileio.c (Fsubstitute_in_file_name): Mention that undefined
variables aren't replaced (as opposed to what happens in a shell
substitution) (bug#40949).
Diffstat (limited to 'src')
| -rw-r--r-- | src/fileio.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/fileio.c b/src/fileio.c index caf077e2fbf..1d9a3e16444 100644 --- a/src/fileio.c +++ b/src/fileio.c @@ -1830,6 +1830,8 @@ the value of that variable. The variable name should be terminated with a character not a letter, digit or underscore; otherwise, enclose the entire variable name in braces. +If FOO is not defined in the environment, it is not substituted. + If `/~' appears, all of FILENAME through that `/' is discarded. If `//' appears, everything up to and including the first of those `/' is discarded. */) |