Makefile: all target for the entire build process (unfortunately you have to run make doc three times)