Learn more about these different git repos.
Other Git URLs
e74bda4
Remove docs generation from general makefile, use website/Makefile