Merge pull request #273377 from GenericNerdyUsername/jetbrains-jdk-manpage-fix

jetbrains.jdk: fix docs
This commit is contained in:
Thomas Gerbet
2023-12-15 00:24:17 +01:00
committed by GitHub
@@ -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";