diff options
| author | Graham Christensen <graham@grahamc.com> | 2018-04-27 22:44:25 -0400 |
|---|---|---|
| committer | Graham Christensen <graham@grahamc.com> | 2018-04-27 22:44:51 -0400 |
| commit | 59f8b1e844d679d1ae7d2a94cf02f9ca259f0dfa (patch) | |
| tree | 134842558c5d08b6e87edd8a95778aa721d49445 /nixos/doc/manual/man-configuration.xml | |
| parent | 68d48cecf6944d74e25a0faeff14aaa4c4ddaf0a (diff) | |
nixos docs: Move generated XML in to a specific subdirectory to allow easier hacking
Diffstat (limited to 'nixos/doc/manual/man-configuration.xml')
| -rw-r--r-- | nixos/doc/manual/man-configuration.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixos/doc/manual/man-configuration.xml b/nixos/doc/manual/man-configuration.xml index 05531b3909a3..89d321d69726 100644 --- a/nixos/doc/manual/man-configuration.xml +++ b/nixos/doc/manual/man-configuration.xml @@ -31,7 +31,7 @@ therein.</para> <para>You can use the following options in <filename>configuration.nix</filename>.</para> -<xi:include href="options-db.xml" /> +<xi:include href="./generated/options-db.xml" /> </refsection> |