dcd077179c
Merge commit '92a47ea3a7b82708e46c9d1710355f5e5fdd4f07' * commit '92a47ea3a7b82708e46c9d1710355f5e5fdd4f07': Clean up some style in the makefiles.