diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-03-04 23:21:09 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-03-04 23:21:09 +0100 |
| commit | 2b34b4b46d44b3849b1909892875c56b66cbbdc0 (patch) | |
| tree | 37ce028a52f6a7f36423be64694cf75ff63aebf4 /po | |
| parent | ce0614ddb0c9aae46fba677a46392de8039c7086 (diff) | |
| download | guix-2b34b4b46d44b3849b1909892875c56b66cbbdc0.tar.gz | |
gnu: bash: Install headers in "include" output.
* gnu/packages/bash.scm (bash)[outputs]: New field. [arguments]: Use 'modify-phases'. Add 'install-headers' phase.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions