diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2015-10-25 11:26:51 +0100 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2015-10-28 10:15:54 +0100 |
| commit | 64cdc48d1d603d85b9987a9087a83b2be88244cb (patch) | |
| tree | 7226c3c4d4cbbf938440f86f247b5b4a358432f7 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | 689d9757c505258d500f178a473ea6d2460991ff (diff) | |
stdenv/multiple-outputs: add REMOVE target, use for docdev
Now any developer docs are removed by default, unless "docdev"
is in $outputs or $outputDocdev is defined.
Currently devdoc consists of just man3 and gtk-doc.
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions