Tweaks to doc makefile