diff options
author | Robert Vollmert <rob@vllmrt.net> | 2017-07-07T19·14+0200 |
---|---|---|
committer | Robert Vollmert <rob@vllmrt.net> | 2017-07-07T20·11+0200 |
commit | 56a1f8f4998cb6aa4ff2c8b61ca36634af4b3759 (patch) | |
tree | 482ab7e8ce9e8d523f8da574a1afb3dcdfc8fcdc /doc/manual/command-ref/opt-common.xml | |
parent | d1643bdaa2f66760b5dce3e42953b433e7eb49bc (diff) |
man pages: Consistently separate alternatives by /
Diffstat (limited to 'doc/manual/command-ref/opt-common.xml')
-rw-r--r-- | doc/manual/command-ref/opt-common.xml | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/doc/manual/command-ref/opt-common.xml b/doc/manual/command-ref/opt-common.xml index 18c664d0973a..a930b4a0d781 100644 --- a/doc/manual/command-ref/opt-common.xml +++ b/doc/manual/command-ref/opt-common.xml @@ -22,8 +22,7 @@ </varlistentry> -<varlistentry><term><option>--verbose</option></term> - <term><option>-v</option></term> +<varlistentry><term><option>--verbose</option> / <option>-v</option></term> <listitem> @@ -76,8 +75,7 @@ </varlistentry> -<varlistentry><term><option>--no-build-output</option></term> - <term><option>-Q</option></term> +<varlistentry><term><option>--no-build-output</option> / <option>-Q</option></term> <listitem><para>By default, output written by builders to standard output and standard error is echoed to the Nix command's standard @@ -143,8 +141,7 @@ </varlistentry> -<varlistentry><term><option>--keep-going</option></term> - <term><option>-k</option></term> +<varlistentry><term><option>--keep-going</option> / <option>-k</option></term> <listitem><para>Keep going in case of failed builds, to the greatest extent possible. That is, if building an input of some @@ -156,8 +153,7 @@ </varlistentry> -<varlistentry><term><option>--keep-failed</option></term> - <term><option>-K</option></term> +<varlistentry><term><option>--keep-failed</option> / <option>-K</option></term> <listitem><para>Specifies that in case of a build failure, the temporary directory (usually in <filename>/tmp</filename>) in which |