Explain tor build enough that normal people can modify/rebuild tor
The build uses a pre-built binary, and the directory with the binary doesn't have a README that explains where it came from. I'd like to be able to build the tor binary and use my own instead of the one in the repo, to be able to change the timeouts, etc.
I'm only asking for enough information so that someone who is already comfortable with building for Android can succeed. Presumably the tor binary is a normal build output of something else (orbot?), and that has build instructions. But I'm really not sure.