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