From 710038a5e68cc579dcadc676e5d501b992eae389 Mon Sep 17 00:00:00 2001 From: Gabriel Gonzalez Date: Wed, 13 Jan 2021 19:58:06 -0800 Subject: Fix header for generated Dhall documentation By default, `dhall-docs` uses the name of the input directory as the initial component of the documentation header. However, since the input directory is built using Nix the header contains the Nix store hash in the name, which then appears in the generated documentation. The fix is to override this default behavior by supplying the `--package-name` flag to `dhall-docs`. --- pkgs/development/interpreters/dhall/build-dhall-package.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'pkgs/development/interpreters') diff --git a/pkgs/development/interpreters/dhall/build-dhall-package.nix b/pkgs/development/interpreters/dhall/build-dhall-package.nix index 039c50f06937..9fc9a4412156 100644 --- a/pkgs/development/interpreters/dhall/build-dhall-package.nix +++ b/pkgs/development/interpreters/dhall/build-dhall-package.nix @@ -85,6 +85,6 @@ in ${lib.optionalString (documentationRoot != null) '' mkdir -p $out/${dataDhall} - XDG_DATA_HOME=$out/${data} ${dhall-docs}/bin/dhall-docs --input '${documentationRoot}' --output-link $out/docs + XDG_DATA_HOME=$out/${data} ${dhall-docs}/bin/dhall-docs --input '${documentationRoot}' --package-name '${name}' --output-link $out/docs ''} '' -- cgit 1.4.1