diff options
| author | Tobias Geerinckx-Rice <[email protected]> | 2020-05-12 16:47:26 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <[email protected]> | 2020-05-13 00:21:47 +0200 |
| commit | 6fa393e2b8433f84de61aa87a55f5d167fcffc78 (patch) | |
| tree | bd0a2743204a5ef8c4d584f0a6ef19d3710e1353 /doc/build.scm | |
| parent | 6f6dbf2ac17fdd16ae87a112088dcaf5d3aff328 (diff) | |
gnu: sudo: Use a versioned $(docdir).
* gnu/packages/admin.scm (sudo)[arguments]: Add versioned --docdir to
CONFIGURE-FLAGS.
Diffstat (limited to 'doc/build.scm')
0 files changed, 0 insertions, 0 deletions