001ce9107b
repository copy), which is a much better place for them. Update the Makefile to reflect these changes.
repository copy), which is a much better place for them. Update the Makefile to reflect these changes.