aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2015-11-01 17:49:51 +0100
committerLudovic Courtès <ludo@gnu.org>2015-11-01 17:56:48 +0100
commitdaa3b04cd8020e365d3c551bc498363a284f5acf (patch)
tree7666adbc7045a894028428b171fe69b0e0a5677a /.gitignore
parent35263cd8627b296c3badc21de355b4fe613d7cd4 (diff)
downloadpatches-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