From 10670b0b96649d3eebffecb84f6d258cdcfc045d Mon Sep 17 00:00:00 2001 From: Arnout Engelen Date: Thu, 28 Jul 2022 20:08:25 +0200 Subject: [PATCH] nixpkgs/doc: generate consistent docbook ids to make diff'ing different versions of the generated docs less noisy --- doc/doc-support/parameters.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/doc-support/parameters.xml b/doc/doc-support/parameters.xml index e4b33e66ee4..8b413dcd337 100644 --- a/doc/doc-support/parameters.xml +++ b/doc/doc-support/parameters.xml @@ -11,4 +11,5 @@ +