diff options
author | Sergey Poznyakoff <gray@gnu.org> | 2019-05-20 15:30:34 +0300 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org> | 2019-05-20 15:30:34 +0300 |
commit | 843fac8ce97914bafeafb8dc31e6be9448477425 (patch) | |
tree | 3dbc22169c88d2c9c565391cb8ac2a3054882d4e /doc | |
parent | c63b903713b6ec5600b11d6197c5c0c11f3b0247 (diff) | |
download | pies-843fac8ce97914bafeafb8dc31e6be9448477425.tar.gz pies-843fac8ce97914bafeafb8dc31e6be9448477425.tar.bz2 |
Document the --no-init option. Raise version number to 1.3.90
Diffstat (limited to 'doc')
-rw-r--r-- | doc/pies.texi | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/pies.texi b/doc/pies.texi index d7ecd5d..48259da 100644 --- a/doc/pies.texi +++ b/doc/pies.texi @@ -45,3 +45,3 @@ Boston, MA 02110-1301 USA -Copyright @copyright{} 2005-2017 Sergey Poznyakoff +Copyright @copyright{} 2005-2019 Sergey Poznyakoff @@ -3869,2 +3869,8 @@ Dump dependency map. @xref{dump-depmap}. +@opsummary{no-init} +@item --no-init +Don't assume @dfn{init mode} (@pxref{Init Process} if running with PID +1. This option is useful if you intend to run @command{pies} as a +process manager in a docker container. + @opsummary{trace-depend} |