Merge pull request #90513 from cole-h/fish

fish: install docs to $out/share/doc/fish
This commit is contained in:
Michele Guerini Rocco 2020-06-15 19:33:12 +02:00 committed by GitHub
commit ac897afeb3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -125,6 +125,10 @@ let
pcre2
];
cmakeFlags = [
"-DCMAKE_INSTALL_DOCDIR=${placeholder "out"}/share/doc/fish"
];
preConfigure = ''
patchShebangs ./build_tools/git_version_gen.sh
'';