Makefile: Don't build docs twice on `make release`