git: do not do install-doc when !withManual

This commit is contained in:
Vladimir Kirillov 2014-11-12 17:36:17 +02:00
parent c04dac7807
commit 1b9f756e4e

View File

@ -55,7 +55,7 @@ stdenv.mkDerivation {
# Install git-subtree.
pushd contrib/subtree
make
make install install-doc
make install ${stdenv.lib.optionalString withManual "install-doc"}
popd
rm -rf contrib/subtree