Fix top-level Makefile to invoke make on src and doc