summaryrefslogtreecommitdiffstats
path: root/nixos/doc/manual/manual.xml
diff options
context:
space:
mode:
authorGraham Christensen <graham@grahamc.com>2018-04-27 22:44:25 -0400
committerGraham Christensen <graham@grahamc.com>2018-04-27 22:44:51 -0400
commit59f8b1e844d679d1ae7d2a94cf02f9ca259f0dfa (patch)
tree134842558c5d08b6e87edd8a95778aa721d49445 /nixos/doc/manual/manual.xml
parent68d48cecf6944d74e25a0faeff14aaa4c4ddaf0a (diff)
nixos docs: Move generated XML in to a specific subdirectory to allow easier hacking
Diffstat (limited to 'nixos/doc/manual/manual.xml')
-rw-r--r--nixos/doc/manual/manual.xml4
1 files changed, 2 insertions, 2 deletions
diff --git a/nixos/doc/manual/manual.xml b/nixos/doc/manual/manual.xml
index 9aa332f026da..a7825579e03d 100644
--- a/nixos/doc/manual/manual.xml
+++ b/nixos/doc/manual/manual.xml
@@ -6,7 +6,7 @@
<info>
<title>NixOS Manual</title>
- <subtitle>Version <xi:include href="version" parse="text" /></subtitle>
+ <subtitle>Version <xi:include href="./generated/version" parse="text" /></subtitle>
</info>
<preface>
@@ -39,7 +39,7 @@
<appendix xml:id="ch-options">
<title>Configuration Options</title>
- <xi:include href="options-db.xml" />
+ <xi:include href="./generated/options-db.xml" />
</appendix>
<xi:include href="release-notes/release-notes.xml" />