Added by Michael Hanselmann over 16 years ago
Use DESTDIR when creating additional directories.
Reviewed-by: iustinp
View differences