makefile corrections, extending documentation