--- docs/ext-core/Makefile~	2008-11-24 17:42:37.000000000 +0200
+++ docs/ext-core/Makefile	2008-11-24 17:43:09.000000000 +0200
@@ -5,8 +5,8 @@
 all: pdf
 
 install-docs:
-	-mkdir      $(docdir)/ext-core
-	cp core.pdf $(docdir)/ext-core/
+	-mkdir      $(DESTDIR)/$(docdir)/ext-core
+	cp core.pdf $(DESTDIR)/$(docdir)/ext-core/
 else
 all:
 install-docs: