diff options
| author | Dave Love | 2017-08-21 16:19:59 +0200 |
|---|---|---|
| committer | Ludovic Courtès | 2017-08-21 17:04:54 +0200 |
| commit | 84bf845abc4b25af84a91eef368e1ea2f3d794a5 (patch) | |
| tree | dff2fae963d14d10ec674d674957ef110c40de19 /.gitignore | |
| parent | 327404aeaa4a431188a24eb697c37e4d5c5b428f (diff) | |
gnu: valgrind: Add separate "doc" output.
* gnu/packages/valgrind.scm (valgrind)[outputs]: New field.
[arguments]: Add 'install-doc' phase.
Co-authored-by: Ludovic Courtès <ludovic.courtes@inria.fr>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions