diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-06-27 22:18:08 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-07-03 15:28:07 +0200 |
| commit | 606c6380164224c3d18f91269d8ad2d95444f054 (patch) | |
| tree | 9d20d29afb51a3b2df450b451dda94fe46e7cd64 /.dir-locals.el | |
| parent | 4b0f2ef743b47d8eab492151db3ae0541e808854 (diff) | |
| download | patches-606c6380164224c3d18f91269d8ad2d95444f054.tar patches-606c6380164224c3d18f91269d8ad2d95444f054.tar.gz | |
gnu: gnutls: Move man3 pages to "doc" output.
* gnu/packages/gnutls.scm (gnutls)[arguments]: Add #:phases.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions