Added explanation of the use of the first program argument passed to the

exec*() family of functions.

diff --git a/Doc/lib/libos.tex b/Doc/lib/libos.tex
index d0571af3c817e47b67a8dc844a5fba98f01254c2..9673563b9edd5e540f0c731a8323b3fd1855508b 100644 (file)
--- a/Doc/lib/libos.tex
+++ b/Doc/lib/libos.tex
@@ -758,6 +758,15 @@ Availability: Macintosh, \UNIX{}, Windows.
 
 These functions may be used to create and manage processes.
 
+The various \function{exec*()} functions take a list of arguments for
+the new program loaded into the process.  In each case, the first of
+these arguments is passed to the new program as its own name rather
+than as an argument a user may have typed on a command line.  For the
+C programmer, this is the \code{argv[0]} passed to a program's
+\cfunction{main()}.  For example, \samp{os.execv('/bin/echo', ['foo',
+'bar'])} will only print \samp{bar} on standard output; \samp{foo}
+will seem to be ignored.
+
 
 \begin{funcdesc}{abort}{}
 Generate a \constant{SIGABRT} signal to the current process.  On