about summary refs log tree commit diff
path: root/nixos/doc
diff options
context:
space:
mode:
authorGraham Christensen <graham@grahamc.com>2019-03-09 08:21:07 -0500
committerGitHub <noreply@github.com>2019-03-09 08:21:07 -0500
commit777e94d903795d5028865d0bb0b76fef330eabb7 (patch)
tree74a6944c036c6db63d885f82cf470daeafc002c9 /nixos/doc
parent2debad92f0dfb8286dcecdb6dc9204fcb0fd3798 (diff)
parenta65974c604d6541fc2a194f289a79e330c3fea8d (diff)
downloadnixlib-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.xml2
-rw-r--r--nixos/doc/manual/configuration/configuration.xml2
-rw-r--r--nixos/doc/manual/default.nix5
-rw-r--r--nixos/doc/manual/development/development.xml2
-rw-r--r--nixos/doc/manual/installation/installation.xml2
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.