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