#411 too many make buttons

[Lee Worden]

In the directory listing, source files get a sync button and all other files get a make button - except that .make.log files don't get a make button because they're side effects. So they probably also shouldn't get an rm/make button.