Rui Salvaterra 6007751c63 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>

2020-10-28 22:34:01 +00:00

..

files

tor: fix init scripts

2020-02-15 03:55:02 -08:00

patches

tor: update to 0.3.5.7

2019-01-14 20:19:39 +01:00

Makefile

tor: disable man pages and html manual generation

2020-10-28 22:34:01 +00:00