aboutsummaryrefslogtreecommitdiff
path: root/doc/default.nix
diff options
context:
space:
mode:
authorRobert Helgesson <robert@rycee.net>2019-06-09 01:47:43 +0200
committerRobert Helgesson <robert@rycee.net>2019-06-09 22:19:03 +0200
commit42732990cd93e396f7702b2bde460a4aa2fb83a1 (patch)
treed9a288508d60902773506e3706c80afbe1eee331 /doc/default.nix
parentf82246171b253801021c6f98cc50fa461cd972e5 (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/default.nix1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/default.nix b/doc/default.nix
index e65e904df8e..c94d52c9e7e 100644
--- a/doc/default.nix
+++ b/doc/default.nix
@@ -119,6 +119,7 @@ let
<toc role="chunk-toc">
<d:tocentry xmlns:d="http://docbook.org/ns/docbook" linkend="book-home-manager-manual"><?dbhtml filename="index.html"?>
<d:tocentry linkend="ch-options"><?dbhtml filename="options.html"?></d:tocentry>
+ <d:tocentry linkend="ch-tools"><?dbhtml filename="tools.html"?></d:tocentry>
<d:tocentry linkend="ch-release-notes"><?dbhtml filename="release-notes.html"?></d:tocentry>
</d:tocentry>
</toc>