whitespace
Merge branch 'master' of https://github.com/mirage/mirage-types
Merge branch 'master' of https://github.com/mirage/mirage-types
Merge branch 'master' of https://github.com/mirage/mirage-types
[make] remove build shell script; complete Makefile
whitespace
Merge pull request #19 from mor1/master

makefile