diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am
index 3a41e24fc..8dbc196f7 100644
--- a/doc/manual/Makefile.am
+++ b/doc/manual/Makefile.am
@@ -6,7 +6,8 @@ XSLTPROC = $(xsltproc) $(xmlflags) \
--param xref.with.number.and.title 1 \
--param toc.section.depth 3 \
--param admon.style \'\' \
- --param callout.graphics.extension \'.gif\'
+ --param callout.graphics.extension \'.gif\' \
+ --param contrib.inline.enabled 0
dblatex_opts = \
-P doc.collab.show=0 \
diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml
index 7d140ca6f..2e70e90d0 100644
--- a/doc/manual/manual.xml
+++ b/doc/manual/manual.xml
@@ -17,6 +17,7 @@
Delft University of Technology
Department of Software Technology
+ Author
@@ -49,64 +50,25 @@
Main commands
-
-
-
+
+
+
Utilities
-
-
-
- nix-collect-garbage
-
-
-
-
-
- nix-install-package
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
-
+
diff --git a/doc/manual/nix-build.xml b/doc/manual/nix-build.xml
index 695ddcf46..23c0b2304 100644
--- a/doc/manual/nix-build.xml
+++ b/doc/manual/nix-build.xml
@@ -1,6 +1,7 @@
+ xmlns:xi="http://www.w3.org/2001/XInclude"
+ xml:id="sec-nix-build">
nix-build
diff --git a/doc/manual/nix-channel.xml b/doc/manual/nix-channel.xml
index 14021067c..024add860 100644
--- a/doc/manual/nix-channel.xml
+++ b/doc/manual/nix-channel.xml
@@ -1,6 +1,7 @@
+ xmlns:xi="http://www.w3.org/2001/XInclude"
+ xml:id="sec-nix-channel">
nix-channel
diff --git a/doc/manual/nix-collect-garbage.xml b/doc/manual/nix-collect-garbage.xml
index 53cffe2ff..14cf97932 100644
--- a/doc/manual/nix-collect-garbage.xml
+++ b/doc/manual/nix-collect-garbage.xml
@@ -1,6 +1,7 @@
+ xmlns:xi="http://www.w3.org/2001/XInclude"
+ xml:id="sec-nix-collect-garbage">
nix-collect-garbage
diff --git a/doc/manual/nix-copy-closure.xml b/doc/manual/nix-copy-closure.xml
index ddbd8e694..584e713f1 100644
--- a/doc/manual/nix-copy-closure.xml
+++ b/doc/manual/nix-copy-closure.xml
@@ -1,6 +1,7 @@
+ xmlns:xi="http://www.w3.org/2001/XInclude"
+ xml:id="sec-nix-copy-closure">
nix-copy-closure
diff --git a/doc/manual/nix-env.xml b/doc/manual/nix-env.xml
index 6bf0513ac..403ab2678 100644
--- a/doc/manual/nix-env.xml
+++ b/doc/manual/nix-env.xml
@@ -1,6 +1,7 @@
+ xmlns:xi="http://www.w3.org/2001/XInclude"
+ xml:id="sec-nix-env">
nix-env
diff --git a/doc/manual/nix-hash.xml b/doc/manual/nix-hash.xml
index dcf01d3a2..007fc5410 100644
--- a/doc/manual/nix-hash.xml
+++ b/doc/manual/nix-hash.xml
@@ -1,6 +1,7 @@
+ xmlns:xi="http://www.w3.org/2001/XInclude"
+ xml:id="sec-nix-hash">
nix-hash
diff --git a/doc/manual/nix-install-package.xml b/doc/manual/nix-install-package.xml
index f0eab5df8..5a081cd9a 100644
--- a/doc/manual/nix-install-package.xml
+++ b/doc/manual/nix-install-package.xml
@@ -1,6 +1,7 @@
+ xmlns:xi="http://www.w3.org/2001/XInclude"
+ xml:id="sec-nix-install-package">
nix-install-package
diff --git a/doc/manual/nix-instantiate.xml b/doc/manual/nix-instantiate.xml
index d61d6d59d..ba89af425 100644
--- a/doc/manual/nix-instantiate.xml
+++ b/doc/manual/nix-instantiate.xml
@@ -1,6 +1,7 @@
+ xmlns:xi="http://www.w3.org/2001/XInclude"
+ xml:id="sec-nix-instantiate">
nix-instantiate
diff --git a/doc/manual/nix-prefetch-url.xml b/doc/manual/nix-prefetch-url.xml
index 777bbe140..b31b699af 100644
--- a/doc/manual/nix-prefetch-url.xml
+++ b/doc/manual/nix-prefetch-url.xml
@@ -1,6 +1,7 @@
+ xmlns:xi="http://www.w3.org/2001/XInclude"
+ xml:id="sec-nix-prefetch-url">
nix-prefetch-url
diff --git a/doc/manual/nix-pull.xml b/doc/manual/nix-pull.xml
index 37ca88fcc..8e4a505e1 100644
--- a/doc/manual/nix-pull.xml
+++ b/doc/manual/nix-pull.xml
@@ -1,6 +1,7 @@
+ xmlns:xi="http://www.w3.org/2001/XInclude"
+ xml:id="sec-nix-pull">
nix-pull
diff --git a/doc/manual/nix-push.xml b/doc/manual/nix-push.xml
index f439af563..1435c5594 100644
--- a/doc/manual/nix-push.xml
+++ b/doc/manual/nix-push.xml
@@ -1,6 +1,7 @@
+ xmlns:xi="http://www.w3.org/2001/XInclude"
+ xml:id="sec-nix-push">
nix-push
diff --git a/doc/manual/nix-store.xml b/doc/manual/nix-store.xml
index db5f8c344..9079fa339 100644
--- a/doc/manual/nix-store.xml
+++ b/doc/manual/nix-store.xml
@@ -1,6 +1,7 @@
+ xmlns:xi="http://www.w3.org/2001/XInclude"
+ xml:id="sec-nix-store">
nix-store
diff --git a/doc/manual/nix-worker.xml b/doc/manual/nix-worker.xml
index a14ee574e..5ae9d59bd 100644
--- a/doc/manual/nix-worker.xml
+++ b/doc/manual/nix-worker.xml
@@ -1,6 +1,7 @@
+ xmlns:xi="http://www.w3.org/2001/XInclude"
+ xml:id="sec-nix-worker">
nix-worker
diff --git a/doc/manual/package-management.xml b/doc/manual/package-management.xml
index c22273ebe..387258e69 100644
--- a/doc/manual/package-management.xml
+++ b/doc/manual/package-management.xml
@@ -331,7 +331,7 @@ default profile, respectively. If the profile doesn’t exist, it will
be created automatically. You should be careful about storing a
profile in another location than the profiles
directory, since otherwise it might not be used as a root of the
-garbage collector (see section ).
All nix-env operations work on the profile