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

almost match space-values top,right,left - changing the value of bottom is not possible due to problems with the page numbering (it gets cut off)