fsharp/fsharp — pull request #159 by knocte (2013-09-25 16:18:13+00:00)
Title: Proper DESTDIR support (very useful for making custom deb/rpm packages)

This 2 commits in this pull request fix this issue: https://github.com/fsharp/fsharp/issues/154

Each commit has a detailed commit message with the reasoning (what and why).
Cheers