diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2019-11-19 11:24:35 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2019-11-19 12:01:13 +0200 |
| commit | 535a13a2ab1c27955a5b03accab86fab2cf88180 (patch) | |
| tree | bb87bb1bc654ea616f4872d00f9f7e8b16f75e36 /doc/guix.texi | |
| parent | 600f680dca7f1755d47df4394b794b4c7fee3aa5 (diff) | |
doc: Fix typo.
* doc/guix.texi (Web Services)[php-fpm-configuration]: Change language
to suggest there are more than two options.
Diffstat (limited to 'doc/guix.texi')
| -rw-r--r-- | doc/guix.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 61b639e7a8..5151a820f5 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -20364,7 +20364,7 @@ once the service has started. Log for the php-fpm master process. @item @code{process-manager} (default: @code{(php-fpm-dynamic-process-manager-configuration)}) Detailed settings for the php-fpm process manager. -Must be either: +Must be one of: @table @asis @item @code{<php-fpm-dynamic-process-manager-configuration>} @item @code{<php-fpm-static-process-manager-configuration>} |