Fix makefiles for docs