diff options
| author | Graham Christensen <graham@grahamc.com> | 2018-04-28 04:04:56 -0400 |
|---|---|---|
| committer | Graham Christensen <graham@grahamc.com> | 2018-04-28 04:04:56 -0400 |
| commit | a77dc213a7825f5dd13c7989e38d82e64816d881 (patch) | |
| tree | e4d5fadce88e8bfe92eebb2c78083a7ed1e2d418 | |
| parent | 0ff0d138e4e9d68853c463a540d61718aa91cffb (diff) | |
nixos manual: update xi:include for configuruation.nix's options-db
| -rw-r--r-- | nixos/doc/manual/man-configuration.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/nixos/doc/manual/man-configuration.xml b/nixos/doc/manual/man-configuration.xml index 89d321d69726..37ffb9d648a9 100644 --- a/nixos/doc/manual/man-configuration.xml +++ b/nixos/doc/manual/man-configuration.xml @@ -31,7 +31,8 @@ therein.</para> <para>You can use the following options in <filename>configuration.nix</filename>.</para> -<xi:include href="./generated/options-db.xml" /> +<xi:include href="./generated/options-db.xml" + xpointer="configuration-variable-list" /> </refsection> |