[MLton] install rule

Filip Pizlo pizlo@purdue.edu
Wed, 15 Sep 2004 13:52:22 -0500 (EST)


I have a question about the install rule in the main Makefile: what is the
purpose of $(DESTDIR)?  Why is the default to install into an install
directory?

--
Filip Pizlo
http://bocks.psych.purdue.edu/
pizlo@purdue.edu