diff --git a/doc/scripts/platform.sh b/doc/scripts/platform.sh
index 1021a14..0552192 100755
--- a/doc/scripts/platform.sh
+++ b/doc/scripts/platform.sh
@@ -26,6 +26,7 @@
 
 #variables
 CONFIGSH="${0%/platform.sh}/config.sh"
+DESTDIR=
 PREFIX="/usr/local"
 PROGNAME="platform.sh"
 SOEXT=".so"
@@ -39,9 +40,9 @@ _platform_library()
 	library="$1"
 	libdir=$(_platform_variable "LIBDIR")
 
-	if [ -f "/lib/lib$library$SOEXT" \
-		-o -f "/usr/lib/lib$library$SOEXT" \
-		-o -f "$libdir/lib$library$SOEXT" ]; then
+	if [ -f "$DESTDIR/lib/lib$library$SOEXT" \
+		-o -f "$DESTDIR/usr/lib/lib$library$SOEXT" \
+		-o -f "$DESTDIR$libdir/lib$library$SOEXT" ]; then
 		echo "-l$library"
 	fi
 }