Commit 236285545b5da8513f2b61fc8066ba78308a555a

Nathan Willis 2018-10-17T10:10:48

Docs: minor, update Makefile w new file name.