diff options
| author | Vittorio Giovara <[email protected]> | 2013-08-28 10:30:14 +0200 |
|---|---|---|
| committer | Luca Barbato <[email protected]> | 2013-08-31 16:16:38 +0200 |
| commit | f4ca970dba13a60a1334cce1b574036e6f624b9c (patch) | |
| tree | 85f37fb03187be19bc3c32387d15a44910998646 /tools | |
| parent | faa8245bd45c1a6dd220ba9407ea1c82132aa1ce (diff) | |
configure: Add docdir configuration option
Signed-off-by: Luca Barbato <[email protected]>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions