diff options
author | Thomas Gerbet <thomas@gerbet.me> | 2023-12-15 00:24:17 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-15 00:24:17 +0100 |
commit | 442fa5da4705a7bf01d758362c3476897e495dc0 (patch) | |
tree | 6593ee6936050cc573c5e0afa718ced9b0b74177 /pkgs/development/compilers | |
parent | a9134d668e884a1df3dec084650387e4c419cd45 (diff) | |
parent | 91dc77adaa237d2c93fa415b574a2b84a7e349b3 (diff) |
Merge pull request #273377 from GenericNerdyUsername/jetbrains-jdk-manpage-fix
jetbrains.jdk: fix docs
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/jetbrains-jdk/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/compilers/jetbrains-jdk/default.nix b/pkgs/development/compilers/jetbrains-jdk/default.nix index 0a76f0ae31da5..1e6b86b17b8e4 100644 --- a/pkgs/development/compilers/jetbrains-jdk/default.nix +++ b/pkgs/development/compilers/jetbrains-jdk/default.nix @@ -96,6 +96,7 @@ openjdk17.overrideAttrs (oldAttrs: rec { '' runHook preInstall + mv build/linux-${cpu}-server-${buildType}/images/jdk/man build/linux-${cpu}-server-${buildType}/images/${jbrsdkDir} rm -rf build/linux-${cpu}-server-${buildType}/images/jdk mv build/linux-${cpu}-server-${buildType}/images/${jbrsdkDir} build/linux-${cpu}-server-${buildType}/images/jdk '' + oldAttrs.installPhase + "runHook postInstall"; |