diff options
author | Graham Christensen <graham@grahamc.com> | 2019-03-09 08:21:07 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-09 08:21:07 -0500 |
commit | 777e94d903795d5028865d0bb0b76fef330eabb7 (patch) | |
tree | 74a6944c036c6db63d885f82cf470daeafc002c9 /nixos/doc | |
parent | 2debad92f0dfb8286dcecdb6dc9204fcb0fd3798 (diff) | |
parent | a65974c604d6541fc2a194f289a79e330c3fea8d (diff) | |
download | nixlib-777e94d903795d5028865d0bb0b76fef330eabb7.tar nixlib-777e94d903795d5028865d0bb0b76fef330eabb7.tar.gz nixlib-777e94d903795d5028865d0bb0b76fef330eabb7.tar.bz2 nixlib-777e94d903795d5028865d0bb0b76fef330eabb7.tar.lz nixlib-777e94d903795d5028865d0bb0b76fef330eabb7.tar.xz nixlib-777e94d903795d5028865d0bb0b76fef330eabb7.tar.zst nixlib-777e94d903795d5028865d0bb0b76fef330eabb7.zip |
Merge pull request #55436 from layus/warn-manual-ids
Nixos manual: error out on missing IDs
Diffstat (limited to 'nixos/doc')
-rw-r--r-- | nixos/doc/manual/administration/running.xml | 2 | ||||
-rw-r--r-- | nixos/doc/manual/configuration/configuration.xml | 2 | ||||
-rw-r--r-- | nixos/doc/manual/default.nix | 5 | ||||
-rw-r--r-- | nixos/doc/manual/development/development.xml | 2 | ||||
-rw-r--r-- | nixos/doc/manual/installation/installation.xml | 2 |
5 files changed, 8 insertions, 5 deletions
diff --git a/nixos/doc/manual/administration/running.xml b/nixos/doc/manual/administration/running.xml index 786dd5e2390d..19bec1f7794d 100644 --- a/nixos/doc/manual/administration/running.xml +++ b/nixos/doc/manual/administration/running.xml @@ -4,7 +4,7 @@ version="5.0" xml:id="ch-running"> <title>Administration</title> - <partintro> + <partintro xml:id="ch-running-intro"> <para> This chapter describes various aspects of managing a running NixOS system, such as how to use the <command>systemd</command> service manager. diff --git a/nixos/doc/manual/configuration/configuration.xml b/nixos/doc/manual/configuration/configuration.xml index 138d1d86d7fc..507d28814ead 100644 --- a/nixos/doc/manual/configuration/configuration.xml +++ b/nixos/doc/manual/configuration/configuration.xml @@ -4,7 +4,7 @@ version="5.0" xml:id="ch-configuration"> <title>Configuration</title> - <partintro> + <partintro xml:id="ch-configuration-intro"> <para> This chapter describes how to configure various aspects of a NixOS machine through the configuration file diff --git a/nixos/doc/manual/default.nix b/nixos/doc/manual/default.nix index 4e0d486e94c8..7fc0ad702f84 100644 --- a/nixos/doc/manual/default.nix +++ b/nixos/doc/manual/default.nix @@ -268,7 +268,10 @@ in rec { --stringparam id.warnings "1" \ --nonet --output $dst/ \ ${docbook_xsl_ns}/xml/xsl/docbook/xhtml/chunktoc.xsl \ - ${manual-combined}/manual-combined.xml + ${manual-combined}/manual-combined.xml \ + |& tee xsltproc.out + grep "^ID recommended on" xsltproc.out &>/dev/null && echo "error: some IDs are missing" && false + rm xsltproc.out mkdir -p $dst/images/callouts cp ${docbook_xsl_ns}/xml/xsl/docbook/images/callouts/*.svg $dst/images/callouts/ diff --git a/nixos/doc/manual/development/development.xml b/nixos/doc/manual/development/development.xml index 03dee6ff09bb..43f511b3e96b 100644 --- a/nixos/doc/manual/development/development.xml +++ b/nixos/doc/manual/development/development.xml @@ -4,7 +4,7 @@ version="5.0" xml:id="ch-development"> <title>Development</title> - <partintro> + <partintro xml:id="ch-development-intro"> <para> This chapter describes how you can modify and extend NixOS. </para> diff --git a/nixos/doc/manual/installation/installation.xml b/nixos/doc/manual/installation/installation.xml index d4276be95d68..2901f462dee0 100644 --- a/nixos/doc/manual/installation/installation.xml +++ b/nixos/doc/manual/installation/installation.xml @@ -4,7 +4,7 @@ version="5.0" xml:id="ch-installation"> <title>Installation</title> - <partintro> + <partintro xml:id="ch-installation-intro"> <para> This section describes how to obtain, install, and configure NixOS for first-time use. |