Make sure Makefile respects the DESTDIR parameter #318

Merged
merged 1 commit into from Dec 4, 2012

Projects

None yet

2 participants

@jonludlam

This makes it easier to make rpms/debs

@samoht samoht merged commit 7c35da5 into ocaml:master Dec 4, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment