summaryrefslogtreecommitdiffstats
path: root/nixos/doc/manual/default.nix
diff options
context:
space:
mode:
authorJohn Ericson <John.Ericson@Obsidian.Systems>2020-11-28 18:10:38 +0000
committerJohn Ericson <John.Ericson@Obsidian.Systems>2020-11-28 18:10:38 +0000
commit8ddf5c69077a6afda88a3ae72f10fdff031f75b8 (patch)
treeb18dd7d549baa53756eb3c53d0f2932feab52e91 /nixos/doc/manual/default.nix
parentc6617d28ef3762bbd5cb11dd3c56afb778ff42cc (diff)
parent2622548c138fbf151fd3f130fe41864590520121 (diff)
Merge remote-tracking branch 'upstream/master' into aj-rust-custom-target
Diffstat (limited to 'nixos/doc/manual/default.nix')
-rw-r--r--nixos/doc/manual/default.nix1
1 files changed, 1 insertions, 0 deletions
diff --git a/nixos/doc/manual/default.nix b/nixos/doc/manual/default.nix
index 6ca75f869f45..af7a2e08220c 100644
--- a/nixos/doc/manual/default.nix
+++ b/nixos/doc/manual/default.nix
@@ -63,6 +63,7 @@ let
"--stringparam html.script './highlightjs/highlight.pack.js ./highlightjs/loader.js'"
"--param xref.with.number.and.title 1"
"--param toc.section.depth 0"
+ "--param generate.consistent.ids 1"
"--stringparam admon.style ''"
"--stringparam callout.graphics.extension .svg"
"--stringparam current.docid manual"