diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-02-18 11:28:12 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-02-20 23:32:53 -0500 |
| commit | 51e76f7cd137bd57c035f96f447c08991226999d (patch) | |
| tree | f0cf4ee3818e88b340b357683cadacf8d70581e4 /man/machine-info.xml | |
| parent | 184d19047370652184a44686cf85bf5001bdf413 (diff) | |
build-sys: make environment.d support conditional
We have ./configure switches for various parts of non-essential functionality,
let's add one for this new stuff too. Support for environment generators is
not conditional — if you don't want them, just don't install any.
Diffstat (limited to 'man/machine-info.xml')
0 files changed, 0 insertions, 0 deletions