Makefile update, better documentation handling