fix documentation and makefile for github.