From f5d989ee28362740157ee57e5ae3ef921a4f2e2f Mon Sep 17 00:00:00 2001
From: Laurent Bercot <ska-skaware@skarnet.org>
Date: Fri, 4 Feb 2022 18:39:10 +0000
Subject:  Allow getpid to get the ppid instead

Signed-off-by: Laurent Bercot <ska@appnovation.com>
---
 doc/getpid.html | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/getpid.html b/doc/getpid.html
index ef1410c..da4df66 100644
--- a/doc/getpid.html
+++ b/doc/getpid.html
@@ -26,7 +26,7 @@ then executes a program.
 <h2> Interface </h2>
 
 <pre>
-     getpid [ -E | -e ] <em>var</em> <em>prog...</em>
+     getpid [ -E | -e ] [ -P | -p ] <em>var</em> <em>prog...</em>
 </pre>
 
 <p>
@@ -42,6 +42,8 @@ execs into <em>prog</em> with its arguments.
 <em>prog...</em>, exec into <tt>importas -ui <em>var</em> <em>var</em>
 <em>prog...</em></tt>. This substitutes <em>var</em> into the command
 line instead of putting it into the environment. </li>
+ <li> <tt>-p</tt>&nbsp;: get the pid of the current process. This is the default. </li>
+ <li> <tt>-P</tt>&nbsp;: use <tt>getpid</tt>'s <em>parent</em> pid instead. </li>
 </ul>
 
 <h2> Notes </h2>
-- 
cgit v1.2.3