diff options
author | Gabriel Gonzalez <Gabriel439@gmail.com> | 2021-01-13 19:58:06 -0800 |
---|---|---|
committer | Emery Hemingway <ehmry@posteo.net> | 2021-01-14 09:50:44 +0100 |
commit | 710038a5e68cc579dcadc676e5d501b992eae389 (patch) | |
tree | 3cd489cd46c235e1ff53abfde5baab8eb3fcf5c6 /pkgs/development/interpreters/dhall | |
parent | 8fcb5db84c88065ce5e666554cad69244c4cf497 (diff) |
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`.
Diffstat (limited to 'pkgs/development/interpreters/dhall')
-rw-r--r-- | pkgs/development/interpreters/dhall/build-dhall-package.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/interpreters/dhall/build-dhall-package.nix b/pkgs/development/interpreters/dhall/build-dhall-package.nix index 039c50f06937f..9fc9a44121560 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 ''} '' |