From 68c626c6b07e8676f7235c21efb94a0055f5cf3d Mon Sep 17 00:00:00 2001 From: Robert Vollmert Date: Fri, 7 Jul 2017 20:37:16 +0200 Subject: [PATCH] man pages: Grouping for option alternatives --- doc/manual/command-ref/nix-copy-closure.xml | 6 ++-- doc/manual/command-ref/opt-common-syn.xml | 32 +++++++++++++++------ 2 files changed, 28 insertions(+), 10 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 @@ --> - - + + + + user@machine diff --git a/doc/manual/command-ref/opt-common-syn.xml b/doc/manual/command-ref/opt-common-syn.xml index 5b7936393..3aff4e1b6 100644 --- a/doc/manual/command-ref/opt-common-syn.xml +++ b/doc/manual/command-ref/opt-common-syn.xml @@ -2,10 +2,18 @@ - - - - + + + + + + + + + + + + @@ -25,10 +33,18 @@ number - - - - + + + + + + + + + + + +