diff options
| author | Robert Vollmert <rob@vllmrt.net> | 2017-07-07 20:37:16 +0200 |
|---|---|---|
| committer | Robert Vollmert <rob@vllmrt.net> | 2017-07-07 22:11:45 +0200 |
| commit | 68c626c6b07e8676f7235c21efb94a0055f5cf3d (patch) | |
| tree | d7f17592173f5303516b41e2fe1d4a5d8c95e6ec /doc/manual/command-ref/nix-copy-closure.xml | |
| parent | ce3095e14165ab0079f2c24002ae4c810b1c728d (diff) | |
man pages: Grouping for option alternatives
Diffstat (limited to 'doc/manual/command-ref/nix-copy-closure.xml')
| -rw-r--r-- | doc/manual/command-ref/nix-copy-closure.xml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/manual/command-ref/nix-copy-closure.xml b/doc/manual/command-ref/nix-copy-closure.xml index 97e261ae9..800e1db6a 100644 --- a/doc/manual/command-ref/nix-copy-closure.xml +++ b/doc/manual/command-ref/nix-copy-closure.xml @@ -27,8 +27,10 @@ <arg><option>- -show-progress</option></arg> --> <arg><option>--include-outputs</option></arg> - <arg><option>--use-substitutes</option></arg> - <arg><option>-s</option></arg> + <group> + <arg choice='plain'><option>--use-substitutes</option></arg> + <arg choice='plain'><option>-s</option></arg> + </group> <arg><option>-v</option></arg> <arg choice='plain'> <replaceable>user@</replaceable><replaceable>machine</replaceable> |