# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1004023832 0
# Node ID a3a9223b152f042039392a03f78aba883adb0e97
# Parent  34f1a01f25fa22180d37115d04278aedb2dd3923
Clarify what happens with duplicates in process-environment.

diff -r 34f1a01f25fa -r a3a9223b152f lispref/os.texi
--- a/lispref/os.texi	Thu Oct 25 15:30:00 2001 +0000
+++ b/lispref/os.texi	Thu Oct 25 15:30:32 2001 +0000
@@ -738,6 +738,10 @@
     "HOME=/user/lewis")
 @end group
 @end smallexample
+
+If @code{process-environment} contains ``duplicate'' elements that
+specify the same environment variable, the first of these elements
+specifies the variable, and the other ``duplicates'' are ignored.
 @end defvar
 
 @defvar path-separator