diff options
-rw-r--r-- | nixos/doc/manual/default.nix | 5 | ||||
-rw-r--r-- | nixos/doc/manual/manual.xml | 1 | ||||
-rw-r--r-- | nixos/modules/services/misc/nixos-manual.nix | 1 |
3 files changed, 4 insertions, 3 deletions
diff --git a/nixos/doc/manual/default.nix b/nixos/doc/manual/default.nix index db3245fcc07d..6d5039e81778 100644 --- a/nixos/doc/manual/default.nix +++ b/nixos/doc/manual/default.nix @@ -1,6 +1,4 @@ -{ pkgs, options -, revision ? "master" -}: +{ pkgs, options, version, revision }: with pkgs.lib; @@ -60,6 +58,7 @@ in rec { buildCommand = '' ln -s $sources/*.xml . # */ ln -s ${optionsDocBook} options-db.xml + echo "${version}" > version # Check the validity of the manual sources. xmllint --noout --nonet --xinclude --noxincludenode \ diff --git a/nixos/doc/manual/manual.xml b/nixos/doc/manual/manual.xml index dfbd865b505b..6e13281cbd94 100644 --- a/nixos/doc/manual/manual.xml +++ b/nixos/doc/manual/manual.xml @@ -5,6 +5,7 @@ <info> <title>NixOS Manual</title> + <subtitle>Version <xi:include href="version" parse="text" /></subtitle> <author> <personname> diff --git a/nixos/modules/services/misc/nixos-manual.nix b/nixos/modules/services/misc/nixos-manual.nix index 885b8fa2d0ca..1a8b85db3290 100644 --- a/nixos/modules/services/misc/nixos-manual.nix +++ b/nixos/modules/services/misc/nixos-manual.nix @@ -23,6 +23,7 @@ let manual = import ../../../doc/manual { inherit pkgs; + version = config.system.nixosVersion; revision = config.system.nixosRevision; options = eval.options; }; |