made doc Makefile optically nicer