Move Makefile.linux to Makefile.
Get rid of Makefile juggling hacks which are no longer necessary.
2 files changed