Aesthetics for Makefile + verifications on doc and test targets