--- a/ChangeLog	Thu May 15 05:37:17 2014 -0700
+++ b/ChangeLog	Thu May 15 13:07:50 2014 -0700
@@ -1,3 +1,16 @@
+2014-05-15  Paul Eggert  <eggert@cs.ucla.edu>
+
+	doc: document exec* = spawn+exit bug with non-Cygwin Windows platforms
+	Problem reported by Eli Zaretskii in:
+	http://lists.gnu.org/archive/html/bug-grep/2014-05/msg00118.html
+	* doc/posix-functions/execl.texi (execl):
+	* doc/posix-functions/execle.texi (execle):
+	* doc/posix-functions/execlp.texi (execlp):
+	* doc/posix-functions/execv.texi (execv):
+	* doc/posix-functions/execve.texi (execve):
+	* doc/posix-functions/execvp.texi (execvp):
+	Mention spawn+exit problem on non-Cygwin Windows platforms.
+
 2014-05-14  Guilherme de Almeida Suckevicz  <guito.linux@gmail.com>
 
 	getlogin-tests: avoid false failure under sudo/ssh etc.

--- a/doc/posix-functions/execl.texi	Thu May 15 05:37:17 2014 -0700
+++ b/doc/posix-functions/execl.texi	Thu May 15 13:07:50 2014 -0700
@@ -15,4 +15,8 @@
 @item
 On some platforms, a script without executable permission is still run:
 Cygwin 1.5.x.
+@item
+On Windows platforms (excluding Cygwin), this function operates by spawning
+and then by exiting the current process, which means the current
+process's parent may incorrectly proceed as if its child had exited.
 @end itemize

--- a/doc/posix-functions/execle.texi	Thu May 15 05:37:17 2014 -0700
+++ b/doc/posix-functions/execle.texi	Thu May 15 13:07:50 2014 -0700
@@ -15,4 +15,8 @@
 @item
 On some platforms, a script without executable permission is still run:
 Cygwin 1.5.x.
+@item
+On Windows platforms (excluding Cygwin), this function operates by spawning
+and then by exiting the current process, which means the current
+process's parent may incorrectly proceed as if its child had exited.
 @end itemize

--- a/doc/posix-functions/execlp.texi	Thu May 15 05:37:17 2014 -0700
+++ b/doc/posix-functions/execlp.texi	Thu May 15 13:07:50 2014 -0700
@@ -15,4 +15,8 @@
 @item
 On some platforms, a script without executable permission is still run:
 Cygwin 1.5.x.
+@item
+On Windows platforms (excluding Cygwin), this function operates by spawning
+and then by exiting the current process, which means the current
+process's parent may incorrectly proceed as if its child had exited.
 @end itemize

--- a/doc/posix-functions/execv.texi	Thu May 15 05:37:17 2014 -0700
+++ b/doc/posix-functions/execv.texi	Thu May 15 13:07:50 2014 -0700
@@ -15,4 +15,8 @@
 @item
 On some platforms, a script without executable permission is still run:
 Cygwin 1.5.x.
+@item
+On Windows platforms (excluding Cygwin), this function operates by spawning
+and then by exiting the current process, which means the current
+process's parent may incorrectly proceed as if its child had exited.
 @end itemize

--- a/doc/posix-functions/execve.texi	Thu May 15 05:37:17 2014 -0700
+++ b/doc/posix-functions/execve.texi	Thu May 15 13:07:50 2014 -0700
@@ -15,4 +15,8 @@
 @item
 On some platforms, a script without executable permission is still run:
 Cygwin 1.5.x.
+@item
+On Windows platforms (excluding Cygwin), this function operates by spawning
+and then by exiting the current process, which means the current
+process's parent may incorrectly proceed as if its child had exited.
 @end itemize

--- a/doc/posix-functions/execvp.texi	Thu May 15 05:37:17 2014 -0700
+++ b/doc/posix-functions/execvp.texi	Thu May 15 13:07:50 2014 -0700
@@ -15,4 +15,8 @@
 @item
 On some platforms, a script without executable permission is still run:
 Cygwin 1.5.x.
+@item
+On Windows platforms (excluding Cygwin), this function operates by spawning
+and then by exiting the current process, which means the current
+process's parent may incorrectly proceed as if its child had exited.
 @end itemize