diff options
| -rw-r--r-- | lispref/os.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lispref/os.texi b/lispref/os.texi index 6c4a86e3bbe..d6a58910f40 100644 --- a/lispref/os.texi +++ b/lispref/os.texi | |||
| @@ -738,6 +738,10 @@ process-environment | |||
| 738 | "HOME=/user/lewis") | 738 | "HOME=/user/lewis") |
| 739 | @end group | 739 | @end group |
| 740 | @end smallexample | 740 | @end smallexample |
| 741 | |||
| 742 | If @code{process-environment} contains ``duplicate'' elements that | ||
| 743 | specify the same environment variable, the first of these elements | ||
| 744 | specifies the variable, and the other ``duplicates'' are ignored. | ||
| 741 | @end defvar | 745 | @end defvar |
| 742 | 746 | ||
| 743 | @defvar path-separator | 747 | @defvar path-separator |