1 files changed, 5 insertions, 5 deletions
diff --git a/doc/manual.xml b/doc/manual.xml
index de94e1c8258..d679b3d8bfe 100644
--- a/doc/manual.xml
+++ b/doc/manual.xml
@@ -15,11 +15,11 @@
  </part>
  <part>
   <title>Standard environment</title>
-  <xi:include href="stdenv.xml" />
-  <xi:include href="meta.xml" />
-  <xi:include href="multiple-output.xml" />
-  <xi:include href="cross-compilation.xml" />
-  <xi:include href="platform-notes.xml" />
+  <xi:include href="stdenv/stdenv.xml" />
+  <xi:include href="stdenv/meta.xml" />
+  <xi:include href="stdenv/multiple-output.xml" />
+  <xi:include href="stdenv/cross-compilation.xml" />
+  <xi:include href="stdenv/platform-notes.xml" />
  </part>
  <part>
   <title>Builders</title>