diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-06-22 21:45:30 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-06-22 22:00:23 +0200 |
| commit | d26563323d8559dcbb04621ccab02e07767abb6e (patch) | |
| tree | 012d006319a3e0bc8593dc83962258fcb19a1afa /gnu/services | |
| parent | 7c1a64aa5c7d276cb1c34317f77535afec268b9e (diff) | |
| download | guix-d26563323d8559dcbb04621ccab02e07767abb6e.tar.gz guix-d26563323d8559dcbb04621ccab02e07767abb6e.zip | |
gnu: corkscrew: Deduplicate documentation directories.
* gnu/packages/ssh.scm (corkscrew)[arguments]: Install documentation to
the correct versioned subdirectory, as already done by the build system.
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions