summary refs log tree commit diff
path: root/nixos/doc/manual
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2015-07-22 16:09:00 +0200
committerEelco Dolstra <eelco.dolstra@logicblox.com>2015-07-22 16:21:32 +0200
commit48a25dc899d3ff413f19bb1a6afa021d400001f2 (patch)
tree32ef22c5219e74c3944038df9a27570a453e4b02 /nixos/doc/manual
parent323fed4284407b72087fde94134e2892e3c5e31f (diff)
downloadnixpkgs-48a25dc899d3ff413f19bb1a6afa021d400001f2.tar
nixpkgs-48a25dc899d3ff413f19bb1a6afa021d400001f2.tar.gz
nixpkgs-48a25dc899d3ff413f19bb1a6afa021d400001f2.tar.bz2
nixpkgs-48a25dc899d3ff413f19bb1a6afa021d400001f2.tar.lz
nixpkgs-48a25dc899d3ff413f19bb1a6afa021d400001f2.tar.xz
nixpkgs-48a25dc899d3ff413f19bb1a6afa021d400001f2.tar.zst
nixpkgs-48a25dc899d3ff413f19bb1a6afa021d400001f2.zip
Manual: Reduce chunking
Fixes #7607.
Diffstat (limited to 'nixos/doc/manual')
-rw-r--r--nixos/doc/manual/default.nix15
-rw-r--r--nixos/doc/manual/manual.xml2
2 files changed, 14 insertions, 3 deletions
diff --git a/nixos/doc/manual/default.nix b/nixos/doc/manual/default.nix
index fdfeb5ca07c..797675e5df1 100644
--- a/nixos/doc/manual/default.nix
+++ b/nixos/doc/manual/default.nix
@@ -61,6 +61,16 @@ let
       echo "${version}" > version
     '';
 
+  toc = builtins.toFile "toc.xml"
+    ''
+      <toc role="chunk-toc">
+        <d:tocentry xmlns:d="http://docbook.org/ns/docbook" linkend="book-nixos-manual"><?dbhtml filename="index.html"?>
+          <d:tocentry linkend="ch-options"><?dbhtml filename="options.html"?>
+          </d:tocentry>
+        </d:tocentry>
+      </toc>
+    '';
+
 in rec {
 
   # The NixOS options in JSON format.
@@ -113,9 +123,10 @@ in rec {
         --param chunk.section.depth 0 \
         --param chunk.first.sections 1 \
         --param use.id.as.filename 1 \
-        --stringparam generate.toc "book toc chapter toc appendix toc" \
+        --stringparam generate.toc "book toc appendix toc" \
+        --stringparam chunk.toc ${toc} \
         --nonet --xinclude --output $dst/ \
-        ${docbook5_xsl}/xml/xsl/docbook/xhtml/chunkfast.xsl ./manual.xml
+        ${docbook5_xsl}/xml/xsl/docbook/xhtml/chunktoc.xsl ./manual.xml
 
       mkdir -p $dst/images/callouts
       cp ${docbook5_xsl}/xml/xsl/docbook/images/callouts/*.gif $dst/images/callouts/
diff --git a/nixos/doc/manual/manual.xml b/nixos/doc/manual/manual.xml
index f6aedfd6b66..eac96f92599 100644
--- a/nixos/doc/manual/manual.xml
+++ b/nixos/doc/manual/manual.xml
@@ -2,7 +2,7 @@
       xmlns:xlink="http://www.w3.org/1999/xlink"
       xmlns:xi="http://www.w3.org/2001/XInclude"
       version="5.0"
-      xml:id="NixOSManual">
+      xml:id="book-nixos-manual">
   
   <info>
     <title>NixOS Manual</title>