Merge pull request #226311 from trofi/fribidi-dev-output

fribidi: move headers out to "dev" output
This commit is contained in:
Sergei Trofimovich 2023-04-24 21:49:25 +01:00 committed by GitHub
commit cc5ea7ea89
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -12,7 +12,7 @@ stdenv.mkDerivation rec {
pname = "fribidi";
version = "1.0.12";
outputs = [ "out" "devdoc" ];
outputs = [ "out" "dev" "devdoc" ];
# NOTE: Only URL tarball has "Have pre-generated man pages: true", which works-around upstream usage of some rare ancient `c2man` fossil application.
src = fetchurl {