texlive.combine: link TEXMFDIST in $out/share for backward compatibility (#233882)

This commit is contained in:
Vincenzo Mantova 2023-05-25 17:47:15 +01:00 committed by GitHub
parent bfa58af4da
commit 3d6e2420a2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -339,6 +339,10 @@ in (buildEnv {
# and other non-deterministic diagnostics.
''
find "$TEXMFSYSVAR"/web2c -name '*.log' -delete
'' +
# link TEXMFDIST in $out/share for backward compatibility
''
ln -s "$TEXMFDIST" "$out"/share/texmf
''
;
}).overrideAttrs (_: { allowSubstitutes = true; })