Improvements to Makefile and documentation tools' layout.