Small makefile improvements, docs update