Merge pull request #23694 from 8573/8573/fix/pkg/ripgrep/install-man-page/1

ripgrep: install man-page
This commit is contained in:
Jörg Thalheim 2017-03-12 22:06:50 +01:00 committed by GitHub
commit 3a5912c049

View File

@ -15,6 +15,11 @@ buildRustPackage rec {
depsSha256 = "0q68qyl2h6i0qsz82z840myxlnjay8p1w5z7hfyr8fqp7wgwa9cx"; depsSha256 = "0q68qyl2h6i0qsz82z840myxlnjay8p1w5z7hfyr8fqp7wgwa9cx";
preFixup = ''
mkdir -p "$out/man/man1"
cp "$src/doc/rg.1" "$out/man/man1"
'';
meta = with stdenv.lib; { meta = with stdenv.lib; {
description = "A utility that combines the usability of The Silver Searcher with the raw speed of grep"; description = "A utility that combines the usability of The Silver Searcher with the raw speed of grep";
homepage = https://github.com/BurntSushi/ripgrep; homepage = https://github.com/BurntSushi/ripgrep;