Minor doc tweak
Update makefile to install docs to tool_doc