projects / feed / packages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 929a5a9) | patch
tor: disable man pages and html manual generation
authorRui Salvaterra <rsalvaterra@gmail.com>
Fri, 9 Oct 2020 15:01:07 +0000 (16:01 +0100)
committerRui Salvaterra <rsalvaterra@gmail.com>
Wed, 28 Oct 2020 22:34:01 +0000 (22:34 +0000)
commit6007751c6311715c203d5be2970c5c06da0b4c34
tree72fa43a42efeef5b1fb6dc9e169a2210ef388b73tree | snapshot
parent929a5a9f0c770912fc1cb007c820735678bcf77fcommit | 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>
net/tor/Makefile diff | blob | history
Mirror of packages feed