diff options
author | Ludovic Courtès <ludo@gnu.org> | 2015-11-01 17:49:51 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2015-11-01 17:56:48 +0100 |
commit | daa3b04cd8020e365d3c551bc498363a284f5acf (patch) | |
tree | 7666adbc7045a894028428b171fe69b0e0a5677a /.gitignore | |
parent | 35263cd8627b296c3badc21de355b4fe613d7cd4 (diff) | |
download | patches-daa3b04cd8020e365d3c551bc498363a284f5acf.tar patches-daa3b04cd8020e365d3c551bc498363a284f5acf.tar.gz |
gnu: udisks: Separate HTML documentation.
* gnu/packages/freedesktop.scm (udisks)[outputs]: New field.
[arguments]: Pass the --with-html-dir configure flag.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions