diff options
author | Robert Helgesson <robert@rycee.net> | 2019-06-09 01:47:43 +0200 |
---|---|---|
committer | Robert Helgesson <robert@rycee.net> | 2019-06-09 22:19:03 +0200 |
commit | 42732990cd93e396f7702b2bde460a4aa2fb83a1 (patch) | |
tree | d9a288508d60902773506e3706c80afbe1eee331 /doc/manual.xml | |
parent | f82246171b253801021c6f98cc50fa461cd972e5 (diff) |
home-manager: rewrite argument parsing
This rewrite allows "long options" but unfortunately does not allow
merged options such as `-vn`.
Also improve the home-manager manual page, with this it should include
all sub-commands and arguments.
Finally, include the home-manager manual page in the generated HTML
documentation.
Diffstat (limited to '')
-rw-r--r-- | doc/manual.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/manual.xml b/doc/manual.xml index c4493254b7c..014a4a7a865 100644 --- a/doc/manual.xml +++ b/doc/manual.xml @@ -30,5 +30,9 @@ <title>Configuration Options</title> <xi:include href="./generated/options-db.xml" xpointer="configuration-variable-list" /> </appendix> + <appendix xml:id="ch-tools"> + <title>Tools</title> + <xi:include href="./man-home-manager.xml" /> + </appendix> <xi:include href="./release-notes/release-notes.xml" /> </book> |