diff options
author | Leo Famulari <leo@famulari.name> | 2015-10-18 15:40:06 -0400 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2015-10-21 19:05:47 +0200 |
commit | 3dcbb75f63be519f5ce723117844c2f6c6639d89 (patch) | |
tree | 4eb7bdfd60a000f33de61bf398ecd3e2afba869e /doc.am | |
parent | 861be0cc1d1b2fc50be61b4815189e0d3b2075ed (diff) | |
download | guix-3dcbb75f63be519f5ce723117844c2f6c6639d89.tar.gz |
gnu: bash: Install more headers in "include" output.
* gnu/packages/bash.com (bash): Include contents of include directory in "include" output. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'doc.am')
0 files changed, 0 insertions, 0 deletions