In docs: Mention alternative to using make