diff options
| author | Rui Salvaterra <rsalvaterra@gmail.com> | 2020-10-09 16:01:07 +0100 |
|---|---|---|
| committer | Rui Salvaterra <rsalvaterra@gmail.com> | 2020-10-28 22:34:01 +0000 |
| commit | 6007751c6311715c203d5be2970c5c06da0b4c34 (patch) | |
| tree | 72fa43a42efeef5b1fb6dc9e169a2210ef388b73 /lang/python/python-zeroconf | |
| parent | 929a5a9f0c770912fc1cb007c820735678bcf77f (diff) | |
tor: disable man pages and html manual generation
We don't need this on an embedded system.
Signed-off-by: Rui Salvaterra <rsalvaterra@gmail.com>
Diffstat (limited to 'lang/python/python-zeroconf')
0 files changed, 0 insertions, 0 deletions