K 10
svn:author
V 6
ehaupt
K 8
svn:date
V 27
2013-11-11T15:51:55.563437Z
K 7
svn:log
V 74
Make use of DESTDIR. That way we do not have to add STAGEDIR to MAKE_ENV.

END