diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-08-18 14:37:15 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-08-18 16:07:00 +0200 |
| commit | ee1362fc07a9977841d6f17b2e213c63901ed7ab (patch) | |
| tree | ff0826fa3e2d5c2d749870e8722de71daac16a6a /graph.js | |
| parent | 7d4d7992aa671942a521f9c01bdaf2f0b6693989 (diff) | |
| download | guix-ee1362fc07a9977841d6f17b2e213c63901ed7ab.tar.gz guix-ee1362fc07a9977841d6f17b2e213c63901ed7ab.zip | |
gnu: knot: Deduplicate documentation directories.
* gnu/packages/dns.scm (knot)[arguments]: Install documentation to the
correct versioned subdirectory, as already done by the build system.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions